p /\ ¬q → r