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