[(P implies Q) and (Q implies R)] implies (P implies R)[(P implies Q) and (Q implies R)] implies (P implies R)

• Natural Language
• Math Input