The bald eagle chases the mouse. The bald eagle is blue. The bald eagle sees the lion. The bald eagle sees the rabbit. The lion chases the mouse. The lion chases the rabbit. The lion eats the mouse. The mouse chases the bald eagle. The mouse chases the rabbit. The rabbit eats the bald eagle. The rabbit eats the mouse. The rabbit does not see the mouse. If someone eats the mouse then they do not see the lion. If someone chases the bald eagle and they eat the bald eagle then the bald eagle eats the mouse. If someone is young and they eat the lion then they see the mouse. If someone eats the lion and the lion sees the bald eagle then the lion chases the bald eagle. If the bald eagle chases the rabbit and the mouse does not see the bald eagle then the bald eagle chases the mouse. If the rabbit eats the mouse then the rabbit is green.
The mouse chases the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The lion chases the mouse.[(triple5)] The lion chases the rabbit.[(triple6)] The lion eats the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse chases the rabbit.[(triple9)] The rabbit does not see the mouse.[(triple12)] The rabbit eats the bald eagle.[(triple10)] The rabbit eats the mouse.[(triple11)] @1: The lion does not see the lion.[(((triple7) -> rule1))] The rabbit does not see the lion.[(((triple11) -> rule1))] The rabbit is green.[(((triple11) -> rule6))]