Чтобы следствие было верным - оно должно выполнять все возможные варианты условия.
С чего ты взял?Давай посмотрим на начальное условие еще раз:
8. Неправда, что наша тумельница большая и круглая.
"большая и круглая", т.е. наша тумельница не мб одновременно большой и круглой, НО она может быть любой другой, т.е. и №1 и №2 и №3, и в то же время она не может быть всеми тремя сразу. Ты сравниваешь сразу три условия, т.е. ведешь к тому что она может быть во всех трех консистенциях (если можно так выразиться) одновременно, что невозможно.
Тумельница одна и в трех состояниях сразу она быть не может.