The cow chases the tiger. The cow eats the tiger. The tiger chases the cow. If someone eats the tiger then the tiger is young. If someone eats the tiger and the tiger is young then they chase the cow. If someone likes the cow then they are kind. If someone chases the cow then they are red. If someone is red then they do not eat the cow. If someone is young and they do not like the tiger then the tiger does not like the cow. If someone likes the tiger then the tiger eats the cow. If the cow eats the tiger and the tiger does not like the cow then the tiger eats the cow.
The tiger likes the cow.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The tiger chases the cow.[(triple3)] @1: The tiger is red.[(((triple3) -> rule4))] The tiger is young.[(((triple2) -> rule1))] @2: The cow chases the cow.[(((triple2 ((triple2) -> rule1)) -> rule2))] The tiger does not eat the cow.[(((((triple3) -> rule4)) -> rule5))] @3: The cow is red.[(((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule4))] @4: The cow does not eat the cow.[(((((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule4)) -> rule5))]