The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is cold. The bald eagle needs the tiger. The cow does not chase the tiger. The cow does not need the mouse. The cow needs the tiger. The cow sees the bald eagle. The cow sees the mouse. The mouse chases the tiger. The mouse is cold. The mouse needs the bald eagle. The tiger is cold. The tiger needs the cow. The tiger sees the mouse. If the mouse chases the bald eagle then the bald eagle does not see the mouse. If someone needs the cow and they see the bald eagle then the bald eagle does not see the mouse. If someone needs the cow then they need the mouse. If someone sees the cow and the cow chases the tiger then the cow is round. If someone needs the mouse then they see the bald eagle. If someone sees the cow then the cow needs the bald eagle. If someone needs the tiger and the tiger does not need the bald eagle then the tiger sees the bald eagle. If someone chases the bald eagle then the bald eagle does not need the mouse.
The tiger does not see the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle needs the tiger.[(triple4)] The cow does not chase the tiger.[(triple5)] The cow does not need the mouse.[(triple6)] The cow needs the tiger.[(triple7)] The cow sees the bald eagle.[(triple8)] The cow sees the mouse.[(triple9)] The mouse chases the tiger.[(triple10)] The mouse is cold.[(triple11)] The mouse needs the bald eagle.[(triple12)] The tiger is cold.[(triple13)] The tiger needs the cow.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The tiger needs the mouse.[(((triple14) -> rule3))] @2: The tiger sees the bald eagle.[(((((triple14) -> rule3)) -> rule5))] @3: The bald eagle does not see the mouse.[(((triple14 ((((triple14) -> rule3)) -> rule5)) -> rule2))]