The bald eagle visits the bear. The bald eagle visits the dog. The bald eagle visits the mouse. The bear eats the dog. The bear eats the mouse. The bear is big. The bear is nice. The bear likes the dog. The bear visits the bald eagle. The dog likes the bear. The mouse eats the bear. The mouse eats the dog. The mouse is blue. The mouse is nice. The mouse likes the dog. If something is green and red then it likes the bald eagle. If something likes the bald eagle then the bald eagle is nice. If the mouse is red and the mouse eats the bear then the bear eats the dog. If something likes the bear and it likes the dog then the dog likes the bald eagle. If the mouse visits the dog then the mouse likes the bald eagle. If something eats the bear then it likes the bear.
The bear is not nice.
@0: The bald eagle visits the bear.[(triple1)] The bald eagle visits the dog.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bear eats the dog.[(triple4)] The bear eats the mouse.[(triple5)] The bear is big.[(triple6)] The bear is nice.[(triple7)] The bear likes the dog.[(triple8)] The bear visits the bald eagle.[(triple9)] The dog likes the bear.[(triple10)] The mouse eats the bear.[(triple11)] The mouse eats the dog.[(triple12)] The mouse is blue.[(triple13)] The mouse is nice.[(triple14)] The mouse likes the dog.[(triple15)] @1: The mouse likes the bear.[(((triple11) -> rule6))] @2: The dog likes the bald eagle.[(((((triple11) -> rule6) triple15) -> rule4))] @3: The bald eagle is nice.[(((((((triple11) -> rule6) triple15) -> rule4)) -> rule2))]