(x implies y) and (y implies z) and (z implies x)(x implies y) and (y implies z) and (z implies x)

• Natural Language
• Math Input