Давай найдем такие А, В и С. Допустим,
А — человек.
В — млекопитающее.
С — корова.
Подставим эти понятия в нашу логическую форму:
Все люди млекопитающие.
Корова — млекопитающее.
Значит, корова — человек.
Здесь явно что-то не так! Все люди действительно млекопитающие, корова тоже млекопитающее — посылки истинны. Но заключение ложно: корова — это не человек. Получается, что нам удалось найти контрпример!