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