The bear eats the mouse. The lion is young. The mouse needs the bear. If something is young then it likes the mouse. If the mouse eats the bear and the mouse is not blue then the mouse does not need the bear. If something likes the mouse then the mouse is young. If something needs the mouse and the mouse does not like the lion then the mouse is not young. If something is rough and it eats the lion then it needs the bear. If something needs the bear and it is blue then it likes the bear. If something eats the lion and the lion eats the bear then the lion is nice. If something is young and it likes the lion then it eats the bear.
The bear is not blue.
@0: The bear eats the mouse.[(triple1)] The lion is young.[(triple2)] The mouse needs the bear.[(triple3)] @1: The lion likes the mouse.[(((triple2) -> rule1))] @2: The mouse is young.[(((((triple2) -> rule1)) -> rule3))] @3: The mouse likes the mouse.[(((((((triple2) -> rule1)) -> rule3)) -> rule1))]