←
Infinity · бета
Соберите доказательство из фактов
Напечатайте утверждение или соберите его нажатиями по чертежу — оно должно следовать из известного за один шаг — и выберите причину из трёх. Верный шаг встаёт на доску; за отклонённое утверждение и за неверную причину — штраф 20 секунд.
Бета-режим. Доказательства проверяются автоматически и ещё настраиваются: возможны неточности в проверке шагов.