The cat visits the lion. The lion is green. The lion is young. The lion sees the squirrel. The squirrel eats the cat. The squirrel sees the cat. The squirrel sees the lion. If someone is green and rough then they eat the cat. If someone sees the lion then they are round. If someone is round and they see the lion then the lion is rough. If someone sees the squirrel then the squirrel visits the cat. If someone visits the squirrel then they visit the lion. If someone visits the squirrel then they are young.
The lion eats the cat.
@0: The cat visits the lion.[(triple1)] The lion is green.[(triple2)] The lion is young.[(triple3)] The lion sees the squirrel.[(triple4)] The squirrel eats the cat.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel sees the lion.[(triple7)] @1: The squirrel is round.[(((triple7) -> rule2))] The squirrel visits the cat.[(((triple4) -> rule4))] @2: The lion is rough.[(((((triple7) -> rule2) triple7) -> rule3))] @3: The lion eats the cat.[(((triple2 ((((triple7) -> rule2) triple7) -> rule3)) -> rule1))]