The lion eats the squirrel. The squirrel chases the lion. The squirrel eats the lion. If someone chases the lion then they are red. If someone sees the squirrel then they chase the lion. If the squirrel chases the lion then the lion is rough. All rough people are young. If someone eats the lion and they see the lion then they see the squirrel. If someone sees the lion and they chase the squirrel then the lion chases the squirrel. If someone chases the lion and they eat the lion then the lion chases the squirrel. If someone eats the squirrel then they see the squirrel.
The lion is red.
@0: The lion eats the squirrel.[(triple1)] The squirrel chases the lion.[(triple2)] The squirrel eats the lion.[(triple3)] @1: The lion chases the squirrel.[(((triple2 triple3) -> rule7))] The lion is rough.[(((triple2) -> rule3))] The lion sees the squirrel.[(((triple1) -> rule8))] The squirrel is red.[(((triple2) -> rule1))] @2: The lion chases the lion.[(((((triple1) -> rule8)) -> rule2))] The lion is young.[(((((triple2) -> rule3)) -> rule4))] @3: The lion is red.[(((((((triple1) -> rule8)) -> rule2)) -> rule1))]