The bald eagle is not red. The bear is nice. The mouse needs the bald eagle. If someone is nice and they chase the bear then they do not visit the mouse. If someone is blue then they chase the mouse. If the bald eagle chases the mouse then the bald eagle does not visit the mouse. If someone chases the bald eagle then the bald eagle does not need the mouse. If someone is nice then they need the mouse. If the mouse needs the bald eagle and the mouse does not visit the bald eagle then the mouse needs the bear. If someone needs the bald eagle then the bald eagle is blue. If someone chases the bear then the bear does not need the mouse.
The bear needs the mouse.
@0: The bald eagle is not red.[(triple1)] The bear is nice.[(triple2)] The mouse needs the bald eagle.[(triple3)] @1: The bald eagle is blue.[(((triple3) -> rule7))] The bear needs the mouse.[(((triple2) -> rule5))] @2: The bald eagle chases the mouse.[(((((triple3) -> rule7)) -> rule2))] @3: The bald eagle does not visit the mouse.[(((((((triple3) -> rule7)) -> rule2)) -> rule3))]