The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is green. The bald eagle is not kind. The bald eagle is not rough. The bald eagle is round. The bald eagle does not need the mouse. The bald eagle sees the mouse. The mouse eats the bald eagle. The mouse is cold. The mouse is green. The mouse is kind. The mouse is not rough. The mouse is round. The mouse needs the bald eagle. The mouse sees the bald eagle. If something sees the bald eagle then the bald eagle sees the mouse. If something needs the mouse and the mouse eats the bald eagle then the bald eagle eats the mouse.
The bald eagle is green.
@0: The bald eagle does not need the mouse.[(triple7)] The bald eagle eats the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is not kind.[(triple4)] The bald eagle is not rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle sees the mouse.[(triple8 OR ((triple16) -> rule1))] 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 not rough.[(triple13)] The mouse is round.[(triple14)] The mouse needs the bald eagle.[(triple15)] The mouse sees the bald eagle.[(triple16)]