The lion chases the squirrel. The lion is green. The lion is young. The lion sees the squirrel. The lion visits the squirrel. The squirrel is young. The squirrel visits the lion. If something is young then it visits the squirrel. If something is cold then it visits the squirrel. If something chases the lion then it sees the squirrel. If something chases the lion then the lion sees the squirrel. If something sees the lion then it is cold. If something visits the squirrel then it chases the lion.
The lion sees the lion.
@0: The lion chases the squirrel.[(triple1)] The lion is green.[(triple2)] The lion is young.[(triple3)] The lion sees the squirrel.[(triple4 OR ((((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule1)) -> rule6)) -> rule3) OR ((((((triple3) -> rule1)) -> rule6)) -> rule4) OR ((((((triple6) -> rule1)) -> rule6)) -> rule4))] The lion visits the squirrel.[(triple5 OR ((triple3) -> rule1))] The squirrel is young.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The lion chases the lion.[(((triple5) -> rule6) OR ((((triple3) -> rule1)) -> rule6))] The squirrel visits the squirrel.[(((triple6) -> rule1))] @2: The squirrel chases the lion.[(((((triple6) -> rule1)) -> rule6))] @3: The squirrel sees the squirrel.[(((((((triple6) -> rule1)) -> rule6)) -> rule3))]