The lion sees the squirrel. The squirrel chases the lion. The squirrel is round. If someone sees the lion and the lion eats the squirrel then the squirrel does not chase the lion. If the squirrel chases the lion then the squirrel eats the lion. All green people are nice. If someone eats the lion then the lion is green. If someone chases the squirrel and they eat the squirrel then the squirrel sees the lion. If someone is nice then they see the squirrel. If someone sees the squirrel and they are not green then the squirrel is not nice. If the lion eats the squirrel and the lion does not see the squirrel then the lion is not blue.
The squirrel is not round.
@0: The lion sees the squirrel.[(triple1 OR ((((((((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule6))] The squirrel chases the lion.[(triple2)] The squirrel is round.[(triple3)] @1: The squirrel eats the lion.[(((triple2) -> rule2))] @2: The lion is green.[(((((triple2) -> rule2)) -> rule4))] @3: The lion is nice.[(((((((triple2) -> rule2)) -> rule4)) -> rule3))]