The lion is rough. The mouse needs the lion. The squirrel needs the mouse. The tiger needs the mouse. If the lion eats the mouse then the lion chases the squirrel. If something needs the tiger then it is round. If something is rough then it eats the mouse.
The squirrel is not round.
@0: The lion is rough.[(triple1)] The mouse needs the lion.[(triple2)] The squirrel needs the mouse.[(triple3)] The tiger needs the mouse.[(triple4)] @1: The lion eats the mouse.[(((triple1) -> rule3))] @2: The lion chases the squirrel.[(((((triple1) -> rule3)) -> rule1))]