The cow sees the tiger. The tiger chases the cow. The tiger sees the cow. If something is red then it sees the tiger. If something sees the tiger then the tiger eats the cow. If something eats the cow and it sees the tiger then the tiger sees the cow. If something is red then it sees the cow. If something eats the cow then the cow sees the tiger. If something eats the cow then it is red.
The tiger chases the cow.
@0: The cow sees the tiger.[(triple1)] The tiger chases the cow.[(triple2)] The tiger sees the cow.[(triple3 OR ((((((triple1) -> rule2)) -> rule6)) -> rule4) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule6)) -> rule1)) -> rule3))] @1: The tiger eats the cow.[(((triple1) -> rule2))] @2: The tiger is red.[(((((triple1) -> rule2)) -> rule6))] @3: The tiger sees the tiger.[(((((((triple1) -> rule2)) -> rule6)) -> rule1))]