Създава въпросителни силогизми от типа на: "Нито едно А не е Б. Някои Ц са Б. Следва ли: някои Ц не са А?" Скриптът е написан на Пайтън3, входните данни чете от файл в специален формат.