~ p ∨ q ; r ∨ ~ q ; p ; s ∴ r ∨ s TRUE
p → q; ~ r → ~ q; ~ r ∴ ~ p TRUE
p ; p → q ; q → r ∴ p ∧ (q ∧ r) TRUE
Сэм уплатит налог за машину или Сэм утратит свою машину и будет ходить на работу пешком TRUE
Борода Джима больше Айвара TRUE
Бажина - Не работает подстановка @id - use another inference ID as a variable FALSE
Требуется чтоб 3Д модели делал опытный специалист TRUE
Наличие "дворцов" никак не взаимосвязано с отсутствием "гулагов" FALSE
A → B; C → D ∴ (A ∧ C) → (B ∧ D) TRUE
B; ~ (( ~ A ∧ B) v C) ∴ A ∧ B TRUE
Если земля плоская, то все крокодилы красные TRUE
Президентом будет Байден или Трамп, но не оба одновременно TRUE
Сверхпарадоксальная импликация: Если наконечник копья каменный TRUE
"Если пойдет дождь, то я не пойду гулять" тоже самое, что "Не пойдет дождь ИЛИ НЕ пойду гулять" :)) TRUE
Замена импликации на отрицание и дизъюнкцию TRUE
How to prove (A ∨ ~ B), ( ~ A ∨ C), ( ~ C → B) therefore ~ D ∨ C) TRUE