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