The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is big. The bald eagle is kind. The bald eagle is nice. The bald eagle is young. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is not big. The mouse is cold. The mouse is not kind. The mouse is nice. The mouse is young. The mouse visits the bald eagle. If something visits the mouse and it is not kind then it does not chase the bald eagle. If something is kind then it does not chase the bald eagle. If something visits the bald eagle then the bald eagle eats the mouse. If something visits the bald eagle then the bald eagle eats the mouse. If something eats the bald eagle then the bald eagle is cold. If something chases the mouse and it is not kind then it eats the mouse. If something eats the mouse then the mouse eats the bald eagle. If the mouse is nice and the mouse is big then the mouse does not eat the bald eagle.
The mouse is nice.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2 OR ((triple15) -> rule3) OR ((triple15) -> rule4))] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle visits the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse eats the bald eagle.[(triple9 OR ((triple2) -> rule7) OR ((((triple15) -> rule3)) -> rule7) OR ((((triple15) -> rule4)) -> rule7))] The mouse is cold.[(triple11)] The mouse is nice.[(triple13)] The mouse is not big.[(triple10)] The mouse is not kind.[(triple12)] The mouse is young.[(triple14)] The mouse visits the bald eagle.[(triple15)] @1: The bald eagle does not chase the bald eagle.[(((triple4) -> rule2))] The bald eagle is cold.[(((triple9) -> rule5) OR ((((triple2) -> rule7)) -> rule5) OR ((((((triple15) -> rule3)) -> rule7)) -> rule5) OR ((((((triple15) -> rule4)) -> rule7)) -> rule5))]