The cow visits the tiger. The tiger is kind. The tiger visits the cow. If someone needs the cow then the cow is kind. If someone is kind then they need the cow. If someone is green and they eat the tiger then the tiger visits the cow.
The cow is not green.
@0: The cow visits the tiger.[(triple1)] The tiger is kind.[(triple2)] The tiger visits the cow.[(triple3)] @1: The tiger needs the cow.[(((triple2) -> rule2))] @2: The cow is kind.[(((((triple2) -> rule2)) -> rule1))] @3: The cow needs the cow.[(((((((triple2) -> rule2)) -> rule1)) -> rule2))]