The cow eats the tiger. The tiger eats the cow. If someone needs the cow then the cow likes the tiger. If someone likes the tiger then they need the tiger. If the cow eats the tiger then the tiger is kind. If someone eats the tiger then they need the tiger. If someone is nice then they like the cow. If the tiger is kind then the tiger needs the cow. All round people are nice. If someone likes the cow then they eat the tiger.
The tiger eats the cow.
@0: The cow eats the tiger.[(triple1)] The tiger eats the cow.[(triple2)] @1: The cow needs the tiger.[(((triple1) -> rule4) OR ((((((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule2))] The tiger is kind.[(((triple1) -> rule3))] @2: The tiger needs the cow.[(((((triple1) -> rule3)) -> rule6))] @3: The cow likes the tiger.[(((((((triple1) -> rule3)) -> rule6)) -> rule1))]