мат логика задание

Здравствуйте, сможете ли решить задание по мат логике. Задание: Записать предложения в виде соотношений формул логики предикатов. 

Методом резолюций выяснить будет ли заключение логическим 

следствием из посылок. Продемонстрировать результат с помощью 

диаграмм Эйлера-Венна.  данного типа:Ни одно С не есть D. Все А суть D. Некоторые В суть С. 

Следовательно, все В не есть А.

прикреплю пример