The bear eats the mouse. The mouse needs the tiger. The tiger eats the mouse. If something likes the bear and the bear is not big then it is not blue. If the tiger likes the mouse then the mouse needs the bear. All blue things are young. If something eats the tiger then it likes the mouse. If something needs the bear then it eats the tiger. If something needs the tiger then the tiger likes the mouse.
The bear does not eat the mouse.
@0: The bear eats the mouse.[(triple1)] The mouse needs the tiger.[(triple2)] The tiger eats the mouse.[(triple3)] @1: The tiger likes the mouse.[(((triple2) -> rule6))] @2: The mouse needs the bear.[(((((triple2) -> rule6)) -> rule2))] @3: The mouse eats the tiger.[(((((((triple2) -> rule6)) -> rule2)) -> rule5))] @4: The mouse likes the mouse.[(((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule4))]