The lion needs the rabbit. The rabbit chases the squirrel. The squirrel chases the rabbit. The tiger is young. If something is red then it chases the squirrel. If something chases the lion then the lion chases the rabbit. If something chases the squirrel then the squirrel is red.
The tiger does not see the tiger.
@0: The lion needs the rabbit.[(triple1)] The rabbit chases the squirrel.[(triple2)] The squirrel chases the rabbit.[(triple3)] The tiger is young.[(triple4)] @1: The squirrel is red.[(((triple2) -> rule3))] @2: The squirrel chases the squirrel.[(((((triple2) -> rule3)) -> rule1))]