The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle likes the mouse. The bald eagle needs the mouse. The mouse eats the bald eagle. The mouse is cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse is red. The mouse likes the bald eagle. The mouse needs the bald eagle. If something needs the mouse then it likes the mouse. If something eats the bald eagle and the bald eagle likes the mouse then the mouse needs the bald eagle. If something is red and it eats the mouse then it needs the bald eagle.
The bald eagle eats the bald eagle.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle likes the mouse.[(triple7 OR ((triple8) -> rule1))] The bald eagle needs the mouse.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse is red.[(triple14)] The mouse likes the bald eagle.[(triple15)] The mouse needs the bald eagle.[(triple16 OR ((triple9 triple7) -> rule2) OR ((triple9 ((triple8) -> rule1)) -> rule2))] @1: The bald eagle needs the bald eagle.[(((triple6 triple1) -> rule3))]