(P implies Q) and ((P and Q) implies R)