The bald eagle needs the cow. The cow is round. The cow needs the bald eagle. The cow needs the mouse. The cow sees the bald eagle. The cow sees the mouse. The cow visits the mouse. The mouse is cold. The mouse sees the bald eagle. The mouse visits the bald eagle. If something visits the bald eagle then the bald eagle visits the mouse. If something sees the bald eagle and the bald eagle visits the mouse then the bald eagle visits the cow. If the cow needs the bald eagle and the bald eagle sees the cow then the bald eagle needs the mouse. If the bald eagle sees the mouse then the bald eagle is cold. If something visits the cow then the cow visits the bald eagle. If something is round and green then it sees the cow.
The cow does not visit the bald eagle.
@0: The bald eagle needs the cow.[(triple1)] The cow is round.[(triple2)] The cow needs the bald eagle.[(triple3)] The cow needs the mouse.[(triple4)] The cow sees the bald eagle.[(triple5)] The cow sees the mouse.[(triple6)] The cow visits the mouse.[(triple7)] The mouse is cold.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse visits the bald eagle.[(triple10)] @1: The bald eagle visits the mouse.[(((triple10) -> rule1))] @2: The bald eagle visits the cow.[(((triple5 ((triple10) -> rule1)) -> rule2) OR ((triple9 ((triple10) -> rule1)) -> rule2))] @3: The cow visits the bald eagle.[(((((triple5 ((triple10) -> rule1)) -> rule2)) -> rule5) OR ((((triple9 ((triple10) -> rule1)) -> rule2)) -> rule5))]