The bald eagle chases the cow. The bald eagle is rough. The bald eagle needs the cow. The bald eagle visits the cow. The cow chases the bald eagle. The cow is blue. The cow is green. The cow is kind. The cow needs the bald eagle. The cow visits the bald eagle. If someone visits the cow then the cow chases the bald eagle. If someone is green then they need the bald eagle. If someone visits the cow then they need the bald eagle. If someone visits the bald eagle then the bald eagle visits the cow. If someone needs the cow then they visit the bald eagle. If someone is kind then they need the cow.
The cow does not chase the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle visits the cow.[(triple4 OR ((triple10) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple8) -> rule6)) -> rule5)) -> rule4))] The cow chases the bald eagle.[(triple5 OR ((triple4) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule1))] The cow is blue.[(triple6)] The cow is green.[(triple7)] The cow is kind.[(triple8)] The cow needs the bald eagle.[(triple9 OR ((triple7) -> rule2))] The cow visits the bald eagle.[(triple10 OR ((((triple8) -> rule6)) -> rule5))] @1: The bald eagle needs the bald eagle.[(((triple4) -> rule3) OR ((((triple10) -> rule4)) -> rule3) OR ((((((triple3) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule3))] The bald eagle visits the bald eagle.[(((triple3) -> rule5))] The cow needs the cow.[(((triple8) -> rule6))]