The cat sees the lion. The cow chases the cat. The lion needs the cat. The squirrel chases the cat. If something needs the cat and the cat sees the lion then the lion sees the squirrel. If the lion is young then the lion needs the squirrel. If something sees the squirrel then the squirrel is round. If something needs the cat then the cat needs the cow. If the cow needs the cat and the cow chases the squirrel then the cow sees the squirrel. If something is round then it sees the squirrel.
The squirrel is not round.
@0: The cat sees the lion.[(triple1)] The cow chases the cat.[(triple2)] The lion needs the cat.[(triple3)] The squirrel chases the cat.[(triple4)] @1: The cat needs the cow.[(((triple3) -> rule4))] The lion sees the squirrel.[(((triple3 triple1) -> rule1))] @2: The squirrel is round.[(((((triple3 triple1) -> rule1)) -> rule3))] @3: The squirrel sees the squirrel.[(((((((triple3 triple1) -> rule1)) -> rule3)) -> rule6))]