The bald eagle chases the cow. The bald eagle is red. The bald eagle is young. The bald eagle visits the cow. The bald eagle visits the squirrel. The cow chases the squirrel. The cow needs the bald eagle. The cow visits the squirrel. The squirrel chases the bald eagle. The squirrel chases the cow. The squirrel is nice. The squirrel is red. The squirrel needs the bald eagle. The squirrel visits the bald eagle. The squirrel visits the cow. If someone needs the squirrel and the squirrel chases the cow then the squirrel needs the cow. If the cow needs the squirrel then the squirrel is red. If the squirrel chases the cow then the cow needs the squirrel. If someone needs the cow then the cow visits the bald eagle. If someone is kind and they need the bald eagle then they need the squirrel. If someone visits the squirrel and the squirrel needs the cow then the squirrel needs the bald eagle. If someone is young and they chase the squirrel then the squirrel is red. If someone needs the bald eagle and they chase the cow then the bald eagle chases the cow.
The bald eagle does not need the bald eagle.
@0: The bald eagle chases the cow.[(triple1 OR ((triple13 triple10) -> rule8) OR ((((triple5 ((((triple10) -> rule3) triple10) -> rule1)) -> rule6) triple10) -> rule8) OR ((((triple8 ((((triple10) -> rule3) triple10) -> rule1)) -> rule6) triple10) -> rule8))] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cow.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The cow chases the squirrel.[(triple6)] The cow needs the bald eagle.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12 OR ((((triple10) -> rule3)) -> rule2))] The squirrel needs the bald eagle.[(triple13 OR ((triple5 ((((triple10) -> rule3) triple10) -> rule1)) -> rule6) OR ((triple8 ((((triple10) -> rule3) triple10) -> rule1)) -> rule6))] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the cow.[(triple15)] @1: The cow needs the squirrel.[(((triple10) -> rule3))] @2: The squirrel needs the cow.[(((((triple10) -> rule3) triple10) -> rule1))] @3: The cow visits the bald eagle.[(((((((triple10) -> rule3) triple10) -> rule1)) -> rule4))]