(((P IMPLIES Q)AND(P IMPLIES R)))IMPLIES((P AND Q)IMPLIES R)AND((P AND Q) IMPLIES R) IMPLIES(((P IMPLIES Q) AND (P IMPLIES R)))

• Natural Language
• Math Input