The bald eagle is blue. The bald eagle is green. The bald eagle is red. The bald eagle likes the mouse. The dog likes the bald eagle. The dog needs the bald eagle. The mouse likes the dog. If the dog does not need the bald eagle then the dog does not see the mouse. If something is blue then it likes the dog. If something is blue and it does not see the dog then the dog is blue. If the bald eagle likes the dog then the dog is blue. If the bald eagle needs the dog and the bald eagle is blue then the bald eagle does not need the mouse. If something needs the mouse then it is not green.
The bald eagle does not see the mouse.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the mouse.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog needs the bald eagle.[(triple6)] The mouse likes the dog.[(triple7)] @1: The bald eagle likes the dog.[(((triple1) -> rule2))] @2: The dog is blue.[(((((triple1) -> rule2)) -> rule4))] @3: The dog likes the dog.[(((((((triple1) -> rule2)) -> rule4)) -> rule2))]