The cow does not see the tiger. The tiger eats the cow. The tiger is not green. Green, kind people are not round. If someone sees the cow then they eat the tiger. If someone eats the cow then the cow eats the tiger. If someone sees the tiger and they chase the tiger then the tiger chases the cow. If someone chases the cow and they are nice then they eat the cow. If someone is round then they do not eat the cow. If the cow chases the tiger and the cow is round then the cow does not see the tiger. If someone eats the tiger then they are green.
The tiger chases the tiger.
@0: The cow does not see the tiger.[(triple1)] The tiger eats the cow.[(triple2)] The tiger is not green.[(triple3)] @1: The cow eats the tiger.[(((triple2) -> rule3))] @2: The cow is green.[(((((triple2) -> rule3)) -> rule8))]