The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle is red. The bald eagle is young. The bald eagle needs the squirrel. The lion is red. The lion is young. The lion visits the squirrel. The squirrel chases the bald eagle. The squirrel chases the lion. If the lion chases the squirrel and the lion visits the squirrel then the squirrel needs the lion. If something is young then it is green. If something is red and blue then it visits the lion. If something chases the squirrel then the squirrel is nice. If something needs the bald eagle then it needs the squirrel. If something is green then it needs the bald eagle. If the lion visits the bald eagle and the lion chases the bald eagle then the bald eagle visits the squirrel. Red things are young.
The lion needs the squirrel.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is young.[(triple4 OR ((triple3) -> rule8))] The bald eagle needs the squirrel.[(triple5 OR ((((((triple4) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule6)) -> rule5))] The lion is red.[(triple6)] The lion is young.[(triple7 OR ((triple6) -> rule8))] The lion visits the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the lion.[(triple10)] @1: The bald eagle is green.[(((triple4) -> rule2) OR ((((triple3) -> rule8)) -> rule2))] The lion is green.[(((triple7) -> rule2) OR ((((triple6) -> rule8)) -> rule2))] The squirrel is nice.[(((triple2) -> rule4))] @2: The bald eagle needs the bald eagle.[(((((triple4) -> rule2)) -> rule6) OR ((((((triple3) -> rule8)) -> rule2)) -> rule6))] The lion needs the bald eagle.[(((((triple7) -> rule2)) -> rule6) OR ((((((triple6) -> rule8)) -> rule2)) -> rule6))] @3: The lion needs the squirrel.[(((((((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule2)) -> rule6)) -> rule5))]