The cat is red. The lion eats the cat. The lion is round. If someone likes the cat and the cat likes the lion then the lion likes the cat. If the lion is round and the lion likes the cat then the cat is red. If the lion is round then the lion chases the cat. If someone chases the cat then they chase the lion. If the cat likes the lion then the cat eats the lion. If someone is rough then they eat the lion.
The cat does not eat the cat.
@0: The cat is red.[(triple1)] The lion eats the cat.[(triple2)] The lion is round.[(triple3)] @1: The lion chases the cat.[(((triple3) -> rule3))] @2: The lion chases the lion.[(((((triple3) -> rule3)) -> rule4))]