The cat sees the lion. The cat visits the lion. The lion eats the cat. The lion visits the squirrel. The squirrel is big. The squirrel sees the cat. The squirrel visits the lion. If the squirrel is red then the squirrel visits the cat. If something visits the lion then the lion eats the cat. If something sees the cat then it sees the squirrel. If something visits the cat then it sees the squirrel. If the cat eats the lion then the cat is red. If something is round then it eats the lion. If something is young then it sees the lion. If something is red then it eats the squirrel.
The lion is round.
@0: The cat sees the lion.[(triple1)] The cat visits the lion.[(triple2)] The lion eats the cat.[(triple3 OR ((triple2) -> rule2) OR ((triple7) -> rule2))] The lion visits the squirrel.[(triple4)] The squirrel is big.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The squirrel sees the squirrel.[(((triple6) -> rule3))]