The bald eagle does not chase the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is red. The bald eagle is not round. The bald eagle likes 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 kind. The mouse is red. The mouse likes the bald eagle. The mouse sees the bald eagle. If something sees the mouse then it likes the mouse. If something is round and it chases the mouse then it likes the mouse. If something likes the mouse then the mouse sees the bald eagle. If something chases the mouse then the mouse sees the bald eagle. If something sees the mouse and the mouse is big then the mouse likes the bald eagle. If something chases the bald eagle then the bald eagle sees the mouse. If something is round then it chases the bald eagle. If the mouse does not see the bald eagle then the bald eagle is not blue.
The mouse does not like the mouse.
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is not round.[(triple6)] The bald eagle is red.[(triple5)] The bald eagle likes the mouse.[(triple7 OR ((triple8) -> rule1) OR ((((triple9) -> rule6)) -> rule1))] The bald eagle sees the mouse.[(triple8 OR ((triple9) -> rule6))] The mouse chases the bald eagle.[(triple9)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is kind.[(triple12)] The mouse is red.[(triple13)] The mouse likes the bald eagle.[(triple14 OR ((triple8 triple10) -> rule5) OR ((((triple9) -> rule6) triple10) -> rule5))] The mouse sees the bald eagle.[(triple15 OR ((triple7) -> rule3) OR ((((triple8) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule1)) -> rule3))]