The bald eagle is kind. The bald eagle is rough. The bald eagle likes the dog. The bald eagle visits the mouse. The bear eats the bald eagle. The bear eats the mouse. The bear is kind. The bear is nice. The dog does not eat the mouse. The dog is kind. The dog is nice. The dog is not rough. The dog does not visit the bear. The mouse eats the dog. The mouse is kind. The mouse does not like the bear. If something visits the bear and the bear does not visit the mouse then it eats the bear. If something eats the dog then it eats the bear. If something eats the bald eagle then it is rough. If the bear visits the dog then the dog likes the bald eagle. If something likes the dog and it does not visit the bald eagle then the bald eagle eats the bear. If something eats the bald eagle and it is rough then it eats the dog. If the bear is kind then the bear is green. If something eats the bald eagle then the bald eagle eats the mouse.
The mouse does not eat the dog.
@0: The bald eagle is kind.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle visits the mouse.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear eats the mouse.[(triple6)] The bear is kind.[(triple7)] The bear is nice.[(triple8)] The dog does not eat the mouse.[(triple9)] The dog does not visit the bear.[(triple13)] The dog is kind.[(triple10)] The dog is nice.[(triple11)] The dog is not rough.[(triple12)] The mouse does not like the bear.[(triple16)] The mouse eats the dog.[(triple14)] The mouse is kind.[(triple15)] @1: The bald eagle eats the mouse.[(((triple5) -> rule8))] The bear is green.[(((triple7) -> rule7))] The bear is rough.[(((triple5) -> rule3))] The mouse eats the bear.[(((triple14) -> rule2))] @2: The bear eats the dog.[(((triple5 ((triple5) -> rule3)) -> rule6))] @3: The bear eats the bear.[(((((triple5 ((triple5) -> rule3)) -> rule6)) -> rule2))]