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