The bald eagle chases the mouse. The bald eagle chases the tiger. The bald eagle needs the mouse. The bald eagle needs the tiger. The mouse chases the tiger. The mouse sees the tiger. The tiger chases the bald eagle. The tiger chases the mouse. The tiger is big. The tiger is green. The tiger is red. The tiger needs the bald eagle. The tiger needs the mouse. The tiger sees the bald eagle. The tiger sees the mouse. If someone needs the tiger then they see the mouse. If someone is round then they are green. If someone chases the tiger then the tiger sees the mouse.
The mouse sees the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle needs the tiger.[(triple4)] The mouse chases the tiger.[(triple5)] The mouse sees the tiger.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger chases the mouse.[(triple8)] The tiger is big.[(triple9)] The tiger is green.[(triple10)] The tiger is red.[(triple11)] The tiger needs the bald eagle.[(triple12)] The tiger needs the mouse.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the mouse.[(triple15 OR ((triple2) -> rule3) OR ((triple5) -> rule3))] @1: The bald eagle sees the mouse.[(((triple4) -> rule1))]