The bald eagle chases the mouse. The bald eagle is blue. The bald eagle likes the cow. The bald eagle likes the mouse. The bald eagle sees the cow. The bald eagle sees the mouse. The cow chases the mouse. The cow is rough. The cow likes the bald eagle. The cow likes the mouse. The cow sees the bald eagle. The mouse chases the cow. The mouse is rough. The mouse likes the bald eagle. The mouse likes the cow. The mouse sees the bald eagle. If someone likes the mouse then the mouse likes the cow.
The bald eagle does not see the cow.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle sees the mouse.[(triple6)] The cow chases the mouse.[(triple7)] The cow is rough.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the mouse.[(triple10)] The cow sees the bald eagle.[(triple11)] The mouse chases the cow.[(triple12)] The mouse is rough.[(triple13)] The mouse likes the bald eagle.[(triple14)] The mouse likes the cow.[(triple15 OR ((triple10) -> rule1) OR ((triple4) -> rule1))] The mouse sees the bald eagle.[(triple16)]