The bear visits the tiger. The cow is big. The mouse eats the bear. The tiger is kind. If something is kind then it likes the cow. If something likes the cow then the cow is kind.
The tiger eats the tiger.
@0: The bear visits the tiger.[(triple1)] The cow is big.[(triple2)] The mouse eats the bear.[(triple3)] The tiger is kind.[(triple4)] @1: The tiger likes the cow.[(((triple4) -> rule1))] @2: The cow is kind.[(((((triple4) -> rule1)) -> rule2))] @3: The cow likes the cow.[(((((((triple4) -> rule1)) -> rule2)) -> rule1))]