The bald eagle eats the mouse. The bald eagle is green. The bald eagle is not nice. The bald eagle is not red. The bald eagle is not round. The bald eagle likes the mouse. The bald eagle does not see the mouse. The mouse eats the bald eagle. The mouse is not blue. The mouse is green. The mouse is nice. The mouse is red. The mouse is round. The mouse does not like the bald eagle. The mouse sees the bald eagle. If something eats the bald eagle then it does not like the bald eagle. If something likes the mouse then it eats the bald eagle. If the bald eagle is round then the bald eagle is green.
The bald eagle sees the mouse.
@0: The bald eagle does not see the mouse.[(triple7)] The bald eagle eats the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle is not round.[(triple5)] The bald eagle likes the mouse.[(triple6)] The mouse does not like the bald eagle.[(triple14 OR ((triple8) -> rule1))] The mouse eats the bald eagle.[(triple8)] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is not blue.[(triple9)] The mouse is red.[(triple12)] The mouse is round.[(triple13)] The mouse sees the bald eagle.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple6) -> rule2))] @2: The bald eagle does not like the bald eagle.[(((((triple6) -> rule2)) -> rule1))]