The lion is kind. The lion needs the squirrel. The squirrel needs the lion. If something chases the squirrel and it is round then the squirrel is kind. If something needs the lion and it is round then the lion needs the squirrel. If something sees the squirrel then the squirrel is red. If something sees the lion and the lion needs the squirrel then the lion chases the squirrel. If something needs the squirrel then the squirrel chases the lion. If something needs the squirrel and the squirrel chases the lion then the squirrel sees the lion.
The lion chases the squirrel.
@0: The lion is kind.[(triple1)] The lion needs the squirrel.[(triple2)] The squirrel needs the lion.[(triple3)] @1: The squirrel chases the lion.[(((triple2) -> rule5))] @2: The squirrel sees the lion.[(((triple2 ((triple2) -> rule5)) -> rule6))] @3: The lion chases the squirrel.[(((((triple2 ((triple2) -> rule5)) -> rule6) triple2) -> rule4))]