The bear is red. The mouse eats the squirrel. The squirrel eats the tiger. The tiger does not visit the bear. If someone eats the tiger then they like the mouse. If someone likes the mouse then the mouse eats the tiger.
The mouse does not visit the bear.
@0: The bear is red.[(triple1)] The mouse eats the squirrel.[(triple2)] The squirrel eats the tiger.[(triple3)] The tiger does not visit the bear.[(triple4)] @1: The squirrel likes the mouse.[(((triple3) -> rule1))] @2: The mouse eats the tiger.[(((((triple3) -> rule1)) -> rule2))] @3: The mouse likes the mouse.[(((((((triple3) -> rule1)) -> rule2)) -> rule1))]