The lion chases the squirrel. The squirrel is round. If the squirrel chases the lion and the lion is red then the lion eats the squirrel. If the lion is not blue then the lion does not chase the squirrel. If someone chases the squirrel then the squirrel eats the lion. If someone eats the lion then the lion is young. If someone eats the squirrel then the squirrel chases the lion. If someone chases the squirrel and the squirrel sees the lion then the lion sees the squirrel. If the lion is not nice then the lion sees the squirrel. If someone is young then they see the squirrel.
The lion does not eat the squirrel.
@0: The lion chases the squirrel.[(triple1)] The squirrel is round.[(triple2)] @1: The squirrel eats the lion.[(((triple1) -> rule3))] @2: The lion is young.[(((((triple1) -> rule3)) -> rule4))] @3: The lion sees the squirrel.[(((((((triple1) -> rule3)) -> rule4)) -> rule8))]