The bear chases the tiger. The cow does not see the bear. The tiger does not see the bear. If the bear is rough and the cow does not chase the bear then the cow visits the bear. If something chases the tiger then the tiger is young. If something is young then it chases the tiger.
The cow does not visit the bear.
@0: The bear chases the tiger.[(triple1)] The cow does not see the bear.[(triple2)] The tiger does not see the bear.[(triple3)] @1: The tiger is young.[(((triple1) -> rule2))] @2: The tiger chases the tiger.[(((((triple1) -> rule2)) -> rule3))]