[userpic]

... 

bavi в посте Metapractice (оригинал в ЖЖ)

Это рисунок для классического силлогизма:
Все X eсть M
Все М есть Y
Для этих X и Y есть еще пары:
1.
Все X eсть M'
Все М есть Y
Вывод: Некоторые Х' есть Y
2.
Все X eсть M'
Все М' есть Y
Вывод: Все Х есть Y
3.
Все X eсть M
Все М' есть Y
Вывод: Некоторые Х' есть Y
Как видим есть парное совпадение ответов,
но
исходные данные отличаются
и, наверное, будут отличаться презентации.