The bald eagle chases the mouse. The bald eagle is kind. The bald eagle is round. The bald eagle likes the mouse. The bald eagle visits the cat. The cat is blue. The cat is cold. The cat likes the bald eagle. The mouse chases the bald eagle. The mouse is round. The mouse likes the bald eagle. The mouse visits the bald eagle. If something visits the bald eagle then it is cold. If something chases the bald eagle and the bald eagle is round then it is round. If something likes the mouse and the mouse visits the cat then it chases the bald eagle. If something likes the bald eagle and the bald eagle likes the cat then the bald eagle visits the cat. If something chases the mouse and the mouse likes the bald eagle then it is cold. If something is round then it likes the mouse.
The bald eagle does not chase the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the mouse.[(triple4 OR ((triple3) -> rule6))] The bald eagle visits the cat.[(triple5)] The cat is blue.[(triple6)] The cat is cold.[(triple7)] The cat likes the bald eagle.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is round.[(triple10 OR ((triple9 triple3) -> rule2))] The mouse likes the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The bald eagle is cold.[(((triple1 triple11) -> rule5))] The mouse is cold.[(((triple12) -> rule1))] The mouse likes the mouse.[(((triple10) -> rule6) OR ((((triple9 triple3) -> rule2)) -> rule6))]