The bear chases the mouse. The bear is young. The mouse needs the bear. If something needs the bear and it is cold then the bear eats the mouse. If something chases the bear then it needs the mouse. If something is nice then it chases the mouse. If something needs the bear then the bear eats the mouse. If something needs the bear and the bear needs the mouse then it eats the bear. Nice things are round.
The mouse does not need the bear.
@0: The bear chases the mouse.[(triple1)] The bear is young.[(triple2)] The mouse needs the bear.[(triple3)] @1: The bear eats the mouse.[(((triple3) -> rule4))]