Здравствуйте, Shmj, Вы писали:

L_G>>Все три следствия верны. Опровергните, если не так.
S>Ну вот же китаец бесплатный и открытый для всего мира может помыслить и ответить:

Удивительно, что он сумел в формальную логику.

У меня первая реакция например неправильная была, потому-что то, как звучит условие, неформально, исходя из опыта, намекает на то,
что Джон был замечен и за урдением и за мурлением, но никогда не за их отсутствием.

Ну по крайней мере моя нейросетка так восприняла это условие.
Если исходить из того, что нейросетки были замечены больше в подражании поведению людей в инете, чем собственно рассуждениям, следовало бы ожидать такого же.

Разве что если подобные задачки тоже входили в обучающий сет.