{Implies[Implies[p, q], r], Implies[p, Implies[q, r]]}