The bear needs the mouse. The cow is young. The mouse eats the bear. The squirrel eats the mouse. If something eats the cow then the cow needs the bear. If something eats the bear then it is round. Young things are round.
The cow is not young.
@0: The bear needs the mouse.[(triple1)] The cow is young.[(triple2)] The mouse eats the bear.[(triple3)] The squirrel eats the mouse.[(triple4)] @1: The cow is round.[(((triple2) -> rule3))] The mouse is round.[(((triple3) -> rule2))]