The cow does not chase the tiger. The tiger is big. If someone is big then they chase the cow. If someone is red then they do not chase the cow. If the tiger chases the cow then the cow is red. If someone is nice and they do not need the tiger then the tiger needs the cow. If the tiger sees the cow and the tiger is not green then the tiger does not need the cow. If someone chases the cow and they chase the tiger then the tiger does not chase the cow. If someone needs the cow and they are red then they see the tiger. If someone is nice then they need the cow.
The cow does not chase the cow.
@0: The cow does not chase the tiger.[(triple1)] The tiger is big.[(triple2)] @1: The tiger chases the cow.[(((triple2) -> rule1))] @2: The cow is red.[(((((triple2) -> rule1)) -> rule3))] @3: The cow does not chase the cow.[(((((((triple2) -> rule1)) -> rule3)) -> rule2))]