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