The bald eagle is nice. The bald eagle is rough. The bald eagle likes the mouse. The bald eagle sees the mouse. The bald eagle visits the mouse. The mouse is nice. The mouse is red. The mouse is round. The mouse likes the bald eagle. The mouse does not see the bald eagle. If something sees the bald eagle and it does not like the mouse then the mouse is not blue. If something visits the mouse then the mouse likes the bald eagle. If something visits the mouse then it sees the bald eagle.
The bald eagle is not rough.
@0: The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle sees the mouse.[(triple4)] The bald eagle visits the mouse.[(triple5)] The mouse does not see the bald eagle.[(triple10)] The mouse is nice.[(triple6)] The mouse is red.[(triple7)] The mouse is round.[(triple8)] The mouse likes the bald eagle.[(triple9 OR ((triple5) -> rule2))] @1: The bald eagle sees the bald eagle.[(((triple5) -> rule3))]