The bald eagle is blue. The bald eagle is not cold. The bald eagle is red. The bald eagle is not rough. The bald eagle is young. The bald eagle likes the mouse. The bald eagle sees the mouse. The bald eagle visits the mouse. The mouse is not young. The mouse likes the bald eagle. The mouse does not see the bald eagle. The mouse visits the bald eagle. If something likes the bald eagle then it does not see the bald eagle.
The mouse is young.
@0: The bald eagle is blue.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle is not rough.[(triple4)] The bald eagle is red.[(triple3)] The bald eagle is young.[(triple5)] The bald eagle likes the mouse.[(triple6)] The bald eagle sees the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8)] The mouse does not see the bald eagle.[(triple11 OR ((triple10) -> rule1))] The mouse is not young.[(triple9)] The mouse likes the bald eagle.[(triple10)] The mouse visits the bald eagle.[(triple12)]