The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is blue. The mouse is nice. The mouse sees the bald eagle. Rough, cold things are blue. If the mouse chases the bald eagle then the mouse sees the bald eagle. If something is blue and it eats the bald eagle then it sees the bald eagle. If something eats the mouse then the mouse sees the bald eagle. If something is blue then it is rough. If something is cold then it sees the bald eagle.
The mouse does not eat the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle sees the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse is blue.[(triple10)] The mouse is nice.[(triple11)] The mouse sees the bald eagle.[(triple12 OR ((triple2) -> rule4) OR ((triple8) -> rule2) OR ((triple10 triple9) -> rule3))] @1: The bald eagle is blue.[(((triple5 triple3) -> rule1))] The bald eagle sees the bald eagle.[(((triple3) -> rule6))] The mouse is rough.[(((triple10) -> rule5))]