The lion chases the squirrel. The lion eats the squirrel. The lion is green. The lion is red. The lion is round. The lion is not young. The lion needs the squirrel. The squirrel eats the lion. The squirrel is green. The squirrel is not round. The squirrel is young. The squirrel needs the lion. If the lion eats the squirrel and the lion is green then the lion is red. If someone is young then they are kind. If someone is kind and round then they chase the lion. If the lion is round and the lion is not young then the lion eats the squirrel. If someone is kind then they do not chase the squirrel. If someone is green and they eat the squirrel then they are red.
The lion does not need the lion.
@0: The lion chases the squirrel.[(triple1)] The lion eats the squirrel.[(triple2 OR ((triple5 triple6) -> rule4))] The lion is green.[(triple3)] The lion is not young.[(triple6)] The lion is red.[(triple4 OR ((triple2 triple3) -> rule1) OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple5 triple6) -> rule4)) -> rule6) OR ((((triple5 triple6) -> rule4) triple3) -> rule1))] The lion is round.[(triple5)] The lion needs the squirrel.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel is green.[(triple9)] The squirrel is not round.[(triple10)] The squirrel is young.[(triple11)] The squirrel needs the lion.[(triple12)] @1: The squirrel is kind.[(((triple11) -> rule2))] @2: The squirrel does not chase the squirrel.[(((((triple11) -> rule2)) -> rule5))]