The cat eats the tiger. The tiger chases the cat. The tiger likes the cat. If someone likes the cat then they eat the cat. If the cat likes the tiger and the cat does not eat the tiger then the tiger is rough. If someone eats the cat and the cat eats the tiger then the cat is not green. If someone is big and they do not like the tiger then the tiger chases the cat. If someone likes the tiger then the tiger is red. If someone likes the cat then the cat is red.
The cat does not eat the cat.
@0: The cat eats the tiger.[(triple1)] The tiger chases the cat.[(triple2)] The tiger likes the cat.[(triple3)] @1: The cat is red.[(((triple3) -> rule6))] The tiger eats the cat.[(((triple3) -> rule1))] @2: The cat is not green.[(((((triple3) -> rule1) triple1) -> rule3))]