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