The bald eagle is kind. The bald eagle sees the dog. The dog is kind. The mouse eats the bald eagle. The mouse is kind. The mouse is rough. The mouse sees the bald eagle. If someone eats the dog and the dog is rough then they do not eat the bald eagle. If someone eats the dog then they are not kind. If someone is kind then they need the bald eagle. If the dog is cold then the dog needs the mouse. If someone sees the mouse and they need the bald eagle then the mouse does not need the dog. If the bald eagle needs the dog and the dog does not need the mouse then the mouse needs the dog.
The dog is not kind.
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the dog.[(triple2)] The dog is kind.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the bald eagle.[(triple7)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule3))] The dog needs the bald eagle.[(((triple3) -> rule3))] The mouse needs the bald eagle.[(((triple5) -> rule3))]