The lion chases the squirrel. The lion is blue. The lion needs the squirrel. The lion sees the squirrel. The squirrel chases the lion. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is young. The squirrel sees the lion. If the squirrel is cold and the squirrel needs the lion then the lion needs the squirrel. If someone sees the squirrel then the squirrel chases the lion. If someone needs the squirrel then they are young. If someone needs the lion and the lion chases the squirrel then they see the squirrel. If someone chases the squirrel then they chase the lion. If someone needs the lion then the lion is green. If someone needs the lion then the lion is blue. If the lion is young and the lion needs the squirrel then the squirrel needs the lion.
The squirrel does not need the lion.
@0: The lion chases the squirrel.[(triple1)] The lion is blue.[(triple2 OR ((((((triple3) -> rule3) triple3) -> rule8)) -> rule7))] The lion needs the squirrel.[(triple3)] The lion sees the squirrel.[(triple4)] The squirrel chases the lion.[(triple5 OR ((triple4) -> rule2) OR ((((((((triple3) -> rule3) triple3) -> rule8) triple1) -> rule4)) -> rule2))] The squirrel is big.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is young.[(triple9)] The squirrel sees the lion.[(triple10)] @1: The lion chases the lion.[(((triple1) -> rule5))] The lion is young.[(((triple3) -> rule3))] @2: The squirrel needs the lion.[(((((triple3) -> rule3) triple3) -> rule8))] @3: The lion is green.[(((((((triple3) -> rule3) triple3) -> rule8)) -> rule6))] The squirrel sees the squirrel.[(((((((triple3) -> rule3) triple3) -> rule8) triple1) -> rule4))]