Rules in Play
Difficulty
Your Problem
Easy
Basic
Derive the conclusion from the given premises using only the allowed rules.
No solution is provided — work it out in the Proof Checker.
Derive the conclusion from the given premises using only the allowed rules.
No solution is provided — work it out in the Proof Checker.