The bald eagle chases the mouse. The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is kind. The bald eagle is round. The bald eagle sees the mouse. The bald eagle sees the rabbit. The mouse chases the bald eagle. The mouse eats the bald eagle. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit eats the mouse. The rabbit is blue. The rabbit sees the bald eagle. The rabbit sees the mouse. If something chases the mouse then the mouse chases the bald eagle. If something is round then it chases the rabbit. If something sees the mouse then it chases the bald eagle. If the rabbit chases the bald eagle then the rabbit eats the mouse. If something sees the mouse and it sees the rabbit then the rabbit chases the mouse. If something eats the bald eagle and the bald eagle sees the mouse then the bald eagle is blue. If something chases the rabbit and the rabbit is red then the rabbit eats the mouse. If something eats the bald eagle then the bald eagle eats the mouse.
The rabbit does not see the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the rabbit.[(triple2 OR ((triple6) -> rule2))] The bald eagle eats the rabbit.[(triple3)] The bald eagle is blue.[(triple4 OR ((triple10 triple7) -> rule6) OR ((triple12 triple7) -> rule6))] The bald eagle is kind.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle sees the mouse.[(triple7)] The bald eagle sees the rabbit.[(triple8)] The mouse chases the bald eagle.[(triple9 OR ((triple1) -> rule1) OR ((((triple7 triple8) -> rule5)) -> rule1))] The mouse eats the bald eagle.[(triple10)] The rabbit chases the bald eagle.[(triple11 OR ((triple16) -> rule3))] The rabbit eats the bald eagle.[(triple12)] The rabbit eats the mouse.[(triple13 OR ((triple11) -> rule4) OR ((((triple16) -> rule3)) -> rule4))] The rabbit is blue.[(triple14)] The rabbit sees the bald eagle.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple7) -> rule3))] The bald eagle eats the mouse.[(((triple10) -> rule8) OR ((triple12) -> rule8))] The rabbit chases the mouse.[(((triple7 triple8) -> rule5))]