The bald eagle chases the cow. The bald eagle is green. The bald eagle sees the cow. The cow chases the bald eagle. The cow is big. The cow sees the bald eagle. The cow visits the bald eagle. If something sees the cow then it visits the bald eagle. If something is young and it sees the bald eagle then the bald eagle is big. If something sees the cow then the cow chases the bald eagle. If the bald eagle is young and the bald eagle is big then the bald eagle chases the cow. If something visits the bald eagle then the bald eagle sees the cow. If something is nice then it chases the bald eagle.
The cow sees the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the cow.[(triple3 OR ((triple7) -> rule5))] The cow chases the bald eagle.[(triple4 OR ((triple3) -> rule3) OR ((((triple7) -> rule5)) -> rule3))] The cow is big.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow visits the bald eagle.[(triple7)] @1: The bald eagle visits the bald eagle.[(((triple3) -> rule1) OR ((((triple7) -> rule5)) -> rule1))]