The bald eagle is nice. The bald eagle likes the mouse. The bald eagle visits the bear. The bear needs the mouse. The bear visits the bald eagle. The bear visits the mouse. The mouse does not need the bald eagle. If someone needs the bear then they are red. If someone needs the bear and they are not cold then they visit the bear. If someone is red then they do not visit the mouse. If someone needs the bald eagle and they are nice then they need the bear. If someone likes the mouse then they need the bear. If the mouse needs the bald eagle then the mouse needs the bear.
The bald eagle needs the bear.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear needs the mouse.[(triple4)] The bear visits the bald eagle.[(triple5)] The bear visits the mouse.[(triple6)] The mouse does not need the bald eagle.[(triple7)] @1: The bald eagle needs the bear.[(((triple2) -> rule5))] @2: The bald eagle is red.[(((((triple2) -> rule5)) -> rule1))] @3: The bald eagle does not visit the mouse.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))]