The bald eagle likes the bear. The bear is not blue. The cow needs the bear. The mouse is big. If someone needs the mouse and they do not like the mouse then the mouse needs the bear. If someone needs the bear then they do not need the mouse.
The bear is not blue.
@0: The bald eagle likes the bear.[(triple1)] The bear is not blue.[(triple2)] The cow needs the bear.[(triple3)] The mouse is big.[(triple4)] @1: The cow does not need the mouse.[(((triple3) -> rule2))]