Бажина - Не работает подстановка @id - use another inference ID as a variable FALSE
Замена импликации на отрицание и дизъюнкцию TRUE
Если яблоко красное то оно спелое FALSE
Делимость четных чисел на 2 TRUE
Если число делится на 4 то оно делится и на 2 TRUE
Дождь и прогулка TRUE