1.
The statement (p∧(p⇒q)∧(q⇒r))⇒r(p \wedge (p \Rightarrow q) \wedge (q \Rightarrow r)) \Rightarrow r is: