СРОЧНО
Записать предложения в виде соотношений формул логики преликатов. Методом резолюций выяснить, будет ли заключена логическим следствием из посылок. Продемонстрировать результат с помощью диаграммы Эйлера Венна

Ни одно С не есть D. Все А суть D. Некоторые В суть С. Следовательно, все В не есть А