The bald eagle eats the bear. The bald eagle eats the mouse. The bald eagle is not blue. The bald eagle is nice. The bald eagle is not red. The bald eagle likes the bear. The bald eagle likes the mouse. The bald eagle visits the mouse. The bear does not eat the bald eagle. The bear eats the mouse. The bear likes the bald eagle. The bear visits the bald eagle. The bear visits the mouse. The mouse eats the bald eagle. The mouse does not eat the bear. The mouse likes the bald eagle. If the bald eagle likes the mouse and the mouse likes the bald eagle then the bald eagle is green. If someone visits the bald eagle and the bald eagle likes the mouse then the mouse likes the bear. If someone likes the bald eagle and they do not visit the mouse then they eat the mouse.
The mouse does not visit the mouse.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not blue.[(triple3)] The bald eagle is not red.[(triple5)] The bald eagle likes the bear.[(triple6)] The bald eagle likes the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8)] The bear does not eat the bald eagle.[(triple9)] The bear eats the mouse.[(triple10)] The bear likes the bald eagle.[(triple11)] The bear visits the bald eagle.[(triple12)] The bear visits the mouse.[(triple13)] The mouse does not eat the bear.[(triple15)] The mouse eats the bald eagle.[(triple14)] The mouse likes the bald eagle.[(triple16)] @1: The bald eagle is green.[(((triple7 triple16) -> rule1))] The mouse likes the bear.[(((triple12 triple7) -> rule2))]