[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

Как видим есть парное совпадение ответов,
но
исходные данные отличаются
и, наверное, будут отличаться презентации.