The lion chases the mouse. The lion is green. The lion is rough. The lion is young. The mouse eats the lion. The mouse is round. The mouse needs the lion. The squirrel eats the mouse. The squirrel is rough. The squirrel is round. If something is young then it chases the lion. If the lion chases the mouse then the lion chases the squirrel. If something needs the mouse then the mouse needs the lion.
The squirrel does not need the squirrel.
@0: The lion chases the mouse.[(triple1)] The lion is green.[(triple2)] The lion is rough.[(triple3)] The lion is young.[(triple4)] The mouse eats the lion.[(triple5)] The mouse is round.[(triple6)] The mouse needs the lion.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] @1: The lion chases the lion.[(((triple4) -> rule1))] The lion chases the squirrel.[(((triple1) -> rule2))]