The bald eagle does not chase the mouse. The bald eagle eats the mouse. The bald eagle visits the bear. The bald eagle visits the mouse. The bald eagle visits the tiger. The bear eats the tiger. The bear is nice. The mouse is blue. The tiger is blue. The tiger visits the bear. If the bear is not green then the bear visits the bald eagle. If someone visits the bear and they are green then they eat the tiger. If the bald eagle eats the mouse and the mouse eats the bald eagle then the bald eagle chases the mouse. If someone visits the mouse then the mouse chases the bear. If someone chases the mouse and they are not green then the mouse chases the bear. If someone chases the bald eagle then they chase the mouse. If the bald eagle eats the tiger and the tiger does not eat the bald eagle then the tiger is rough. If the mouse does not eat the tiger then the tiger is blue.
The tiger does not eat the tiger.
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the mouse.[(triple4)] The bald eagle visits the tiger.[(triple5)] The bear eats the tiger.[(triple6)] The bear is nice.[(triple7)] The mouse is blue.[(triple8)] The tiger is blue.[(triple9)] The tiger visits the bear.[(triple10)] @1: The mouse chases the bear.[(((triple4) -> rule4))]