The cow eats the tiger. The tiger visits the cow. If the tiger eats the cow and the tiger does not visit the cow then the cow is not green. If something eats the tiger then it is big. If something chases the cow then the cow does not eat the tiger. If something visits the cow and the cow is big then the cow does not chase the tiger. If something visits the cow and it chases the tiger then the tiger does not eat the cow. If the tiger visits the cow and the cow does not chase the tiger then the cow visits the tiger.
The cow chases the tiger.
@0: The cow eats the tiger.[(triple1)] The tiger visits the cow.[(triple2)] @1: The cow is big.[(((triple1) -> rule2))] @2: The cow does not chase the tiger.[(((triple2 ((triple1) -> rule2)) -> rule4))] @3: The cow visits the tiger.[(((triple2 ((triple2 ((triple1) -> rule2)) -> rule4)) -> rule6))]