The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is cold. The mouse is kind. The mouse visits the bald eagle. If someone chases the bald eagle then they visit the mouse. If someone visits the mouse and they do not chase the bald eagle then they need the mouse. If someone needs the mouse and they do not chase the bald eagle then they are not nice. If someone needs the mouse and the mouse does not visit the bald eagle then the mouse is not big. If the mouse is big then the mouse is kind. If someone visits the bald eagle and they are big then the bald eagle is not nice. If someone visits the mouse and they do not need the mouse then they are big. All cold people are big.
The mouse is big.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle visits the mouse.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse is cold.[(triple8)] The mouse is kind.[(triple9 OR ((((triple8) -> rule8)) -> rule5))] The mouse visits the bald eagle.[(triple10)] @1: The bald eagle is big.[(((triple3) -> rule8))] The mouse is big.[(((triple8) -> rule8))] The mouse visits the mouse.[(((triple7) -> rule1))] @2: The bald eagle is not nice.[(((triple10 ((triple8) -> rule8)) -> rule6))]