Проверка модуля

Необходимо определить формальную правильность того или иного логического умозаключения на основе определенного утверждения (или ряда утверждений). Реальная действительность не играет при этом никакой роли (это немного усложняет тест, поскольку содержание утверждений абсурдно, но логически безупречно). Учитывайте также то, что правильных ответов может вообще не быть!