(NOT(P IMPLIES R)) IMPLIES NOT[(P IMPLIES Q) AND (Q IMPLIES R)](NOT(P IMPLIES R)) IMPLIES NOT[(P IMPLIES Q) AND (Q IMPLIES R)]

• Natural Language
• Math Input