The cow chases the tiger. The tiger sees the cow. If something eats the tiger and the tiger does not chase the cow then it eats the cow. If something sees the tiger and the tiger does not see the cow then it does not chase the tiger. If something sees the cow then the cow does not eat the tiger.
The tiger does not see the cow.
@0: The cow chases the tiger.[(triple1)] The tiger sees the cow.[(triple2)] @1: The cow does not eat the tiger.[(((triple2) -> rule3))]