The bear eats the rabbit. The mouse eats the bear. The rabbit visits the mouse. The tiger eats the bear. If the bear chases the tiger and the tiger visits the mouse then the tiger does not eat the bear. If something chases the tiger then the tiger chases the mouse. If the mouse eats the bear then the bear is nice. If something is nice then it chases the tiger. If something chases the bear then it is not big. If the tiger is cold then the tiger chases the bear. If the tiger is round then the tiger visits the mouse. If the rabbit chases the tiger and the rabbit chases the mouse then the tiger visits the bear.
The rabbit does not chase the tiger.
@0: The bear eats the rabbit.[(triple1)] The mouse eats the bear.[(triple2)] The rabbit visits the mouse.[(triple3)] The tiger eats the bear.[(triple4)] @1: The bear is nice.[(((triple2) -> rule3))] @2: The bear chases the tiger.[(((((triple2) -> rule3)) -> rule4))] @3: The tiger chases the mouse.[(((((((triple2) -> rule3)) -> rule4)) -> rule2))]