The bald eagle eats the cow. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle likes the cow. The bald eagle likes the mouse. The bald eagle visits the cow. The cow eats the bald eagle. The cow eats the mouse. The cow likes the bald eagle. The cow likes the mouse. The cow visits the bald eagle. The cow visits the mouse. The mouse eats the bald eagle. The mouse eats the cow. The mouse likes the bald eagle. The mouse visits the bald eagle. If something eats the mouse then the mouse visits the bald eagle. If something likes the cow and it is blue then it likes the bald eagle. If something visits the cow and it is rough then the cow eats the bald eagle.
The cow does not eat the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle visits the cow.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow eats the mouse.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the mouse.[(triple10)] The cow visits the bald eagle.[(triple11)] The cow visits the mouse.[(triple12)] The mouse eats the bald eagle.[(triple13)] The mouse eats the cow.[(triple14)] The mouse likes the bald eagle.[(triple15)] The mouse visits the bald eagle.[(triple16 OR ((triple2) -> rule1) OR ((triple8) -> rule1))]