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