The bald eagle is round. The cow eats the mouse. The cow is rough. The cow is young. The cow needs the mouse. The mouse chases the bald eagle. The mouse chases the cow. The mouse eats the bald eagle. The mouse eats the cow. The mouse is rough. The mouse is round. The mouse is young. If something needs the bald eagle and the bald eagle chases the mouse then the bald eagle is blue. If something eats the cow then it is round. If something eats the mouse then it is round. If something chases the bald eagle then it eats the bald eagle. If the mouse eats the bald eagle and the bald eagle is green then the mouse is blue. If something is round then it chases the bald eagle.
The bald eagle is not blue.
@0: The bald eagle is round.[(triple1)] The cow eats the mouse.[(triple2)] The cow is rough.[(triple3)] The cow is young.[(triple4)] The cow needs the mouse.[(triple5)] The mouse chases the bald eagle.[(triple6 OR ((triple11) -> rule6) OR ((((triple9) -> rule2)) -> rule6))] The mouse chases the cow.[(triple7)] The mouse eats the bald eagle.[(triple8 OR ((triple6) -> rule4) OR ((((triple11) -> rule6)) -> rule4) OR ((((((triple9) -> rule2)) -> rule6)) -> rule4))] The mouse eats the cow.[(triple9)] The mouse is rough.[(triple10)] The mouse is round.[(triple11 OR ((triple9) -> rule2))] The mouse is young.[(triple12)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule6))] The cow is round.[(((triple2) -> rule3))] @2: The bald eagle eats the bald eagle.[(((((triple1) -> rule6)) -> rule4))] The cow chases the bald eagle.[(((((triple2) -> rule3)) -> rule6))] @3: The cow eats the bald eagle.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))]