The cat eats the rabbit. The cat is red. The rabbit does not like the cat. If someone likes the rabbit and the rabbit eats the cat then they are red. If someone likes the rabbit then they are rough. If someone eats the rabbit then they like the rabbit. If someone eats the cat and the cat eats the rabbit then the cat does not chase the rabbit. If someone eats the cat then the cat does not chase the rabbit. If someone is blue then they eat the rabbit. If someone eats the rabbit and they chase the rabbit then the rabbit eats the cat. If the cat likes the rabbit then the cat eats the rabbit.
The cat likes the rabbit.
@0: The cat eats the rabbit.[(triple1)] The cat is red.[(triple2)] The rabbit does not like the cat.[(triple3)] @1: The cat likes the rabbit.[(((triple1) -> rule3))] @2: The cat is rough.[(((((triple1) -> rule3)) -> rule2))]