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