The lion needs the squirrel. The lion sees the rabbit. The lion sees the squirrel. The rabbit is young. The rabbit sees the squirrel. The squirrel chases the lion. The squirrel is round. The squirrel is young. The squirrel needs the lion. The squirrel needs the rabbit. If the rabbit is cold then the rabbit needs the lion. If something chases the lion then it sees the rabbit. If something sees the rabbit and it needs the lion then the rabbit chases the lion.
The squirrel sees the squirrel.
@0: The lion needs the squirrel.[(triple1)] The lion sees the rabbit.[(triple2)] The lion sees the squirrel.[(triple3)] The rabbit is young.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel chases the lion.[(triple6)] The squirrel is round.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The squirrel sees the rabbit.[(((triple6) -> rule2))] @2: The rabbit chases the lion.[(((((triple6) -> rule2) triple9) -> rule3))] @3: The rabbit sees the rabbit.[(((((((triple6) -> rule2) triple9) -> rule3)) -> rule2))]