The bald eagle chases the bear. The bald eagle chases the mouse. The bald eagle is rough. The bald eagle is young. The bald eagle likes the mouse. The bear chases the bald eagle. The bear likes the bald eagle. The mouse is kind. The mouse is rough. The mouse is young. The mouse likes the bald eagle. The mouse visits the bald eagle. If something likes the bald eagle and it is rough then the bald eagle visits the mouse.
The bear does not visit the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear likes the bald eagle.[(triple7)] The mouse is kind.[(triple8)] The mouse is rough.[(triple9)] The mouse is young.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The bald eagle visits the mouse.[(((triple11 triple9) -> rule1))]