The bald eagle likes the mouse. The bald eagle sees the dog. The bald eagle sees the mouse. The bald eagle visits the dog. The bald eagle visits the mouse. The dog is not blue. The dog is not nice. The dog likes the bald eagle. The dog sees the bald eagle. The dog sees the mouse. The dog does not visit the mouse. The mouse is green. The mouse does not like the bald eagle. The mouse does not like the dog. The mouse visits the dog. If something is blue then it sees the dog. If something visits the bald eagle then it does not see the dog. If something is nice then it likes the bald eagle. If something is nice then it likes the mouse. All green things are red. If the bald eagle is nice and the bald eagle is red then the bald eagle sees the mouse. If something sees the dog then it sees the bald eagle. If something visits the mouse and the mouse is red then the mouse sees the dog.
The bald eagle does not like the dog.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle sees the dog.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the mouse.[(triple5)] The dog does not visit the mouse.[(triple11)] The dog is not blue.[(triple6)] The dog is not nice.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog sees the mouse.[(triple10)] The mouse does not like the bald eagle.[(triple13)] The mouse does not like the dog.[(triple14)] The mouse is green.[(triple12)] The mouse visits the dog.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule7))] The mouse is red.[(((triple12) -> rule5))] @2: The mouse sees the dog.[(((triple5 ((triple12) -> rule5)) -> rule8))] @3: The mouse sees the bald eagle.[(((((triple5 ((triple12) -> rule5)) -> rule8)) -> rule7))]