1.
The statement (p(pq)(qr))r(p \wedge (p \Rightarrow q) \wedge (q \Rightarrow r)) \Rightarrow r is: