(((p or q) implies r) or ((p or r) implies q)) implies (r implies q)(((p or q) implies r) or ((p or r) implies q)) implies (r implies q)

• Natural Language
• Math Input