The bald eagle chases the cow. The bald eagle is blue. The bald eagle is green. The bald eagle is rough. The bald eagle is young. The bald eagle likes the mouse. The bald eagle visits the mouse. The cow chases the bald eagle. The cow is young. The cow likes the bald eagle. The cow visits the bald eagle. The cow visits the mouse. The mouse chases the bald eagle. The mouse is green. The mouse likes the bald eagle. The mouse likes the cow. If someone likes the mouse then the mouse likes the bald eagle. If someone visits the cow and they chase the bald eagle then they visit the mouse. If someone visits the bald eagle then the bald eagle visits the cow. If the cow likes the bald eagle and the cow chases the bald eagle then the bald eagle chases the cow. If the mouse is cold and the mouse likes the bald eagle then the bald eagle is blue. If someone likes the bald eagle and they chase the cow then they visit the bald eagle. If someone visits the mouse then they chase the mouse. If someone visits the bald eagle and they visit the cow then the cow likes the mouse.
The bald eagle visits the mouse.
@0: The bald eagle chases the cow.[(triple1 OR ((triple10 triple8) -> rule4))] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the mouse.[(triple6)] The bald eagle visits the mouse.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow is young.[(triple9)] The cow likes the bald eagle.[(triple10)] The cow visits the bald eagle.[(triple11)] The cow visits the mouse.[(triple12)] The mouse chases the bald eagle.[(triple13)] The mouse is green.[(triple14)] The mouse likes the bald eagle.[(triple15 OR ((triple6) -> rule1))] The mouse likes the cow.[(triple16)] @1: The bald eagle chases the mouse.[(((triple7) -> rule7))] The bald eagle visits the cow.[(((triple11) -> rule3))] The cow chases the mouse.[(((triple12) -> rule7))]