The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle sees the mouse. The lion sees the bald eagle. The mouse chases the bald eagle. The mouse is big. The mouse is kind. The mouse needs the bald eagle. The mouse sees the lion. If someone is big and they need the lion then they chase the lion. If someone needs the lion then the lion is big. If the bald eagle is cold then the bald eagle needs the mouse. All blue people are cold. If someone chases the bald eagle then the bald eagle is green. If someone chases the mouse then the mouse is cold. If the mouse sees the lion then the lion is kind. If someone needs the lion and they are blue then they chase the bald eagle.
The lion is not big.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4 OR ((triple3) -> rule4))] The bald eagle is green.[(triple5 OR ((triple8) -> rule5))] The bald eagle sees the mouse.[(triple6)] The lion sees the bald eagle.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse sees the lion.[(triple12)] @1: The bald eagle needs the mouse.[(((triple4) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] The lion is kind.[(((triple12) -> rule7))] The mouse is cold.[(((triple2) -> rule6))]