The lion is round. The squirrel chases the lion. If something is round and it chases the squirrel then it likes the squirrel. If something likes the squirrel then the squirrel chases the lion. If something likes the lion then it does not chase the squirrel. If something likes the squirrel then it chases the squirrel. If something eats the lion then it is big. If something chases the lion then the lion likes the squirrel. If something eats the squirrel then the squirrel eats the lion. If the squirrel likes the lion then the squirrel is big.
The lion chases the squirrel.
@0: The lion is round.[(triple1)] The squirrel chases the lion.[(triple2)] @1: The lion likes the squirrel.[(((triple2) -> rule6))] @2: The lion chases the squirrel.[(((((triple2) -> rule6)) -> rule4))]