The bald eagle is blue. The bald eagle is green. The bald eagle is not kind. The bald eagle is not red. The bald eagle is rough. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse is blue. The mouse is green. The mouse is kind. The mouse is red. The mouse is rough. The mouse likes the bald eagle. The mouse sees the bald eagle. The mouse does not visit the bald eagle. If someone is rough and they do not see the mouse then they are not kind. If someone sees the bald eagle then they are rough. If someone sees the mouse then they are green.
The mouse likes the mouse.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle likes the mouse.[(triple6)] The bald eagle visits the mouse.[(triple7)] The mouse does not visit the bald eagle.[(triple15)] The mouse is blue.[(triple8)] The mouse is green.[(triple9)] The mouse is kind.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12 OR ((triple14) -> rule2))] The mouse likes the bald eagle.[(triple13)] The mouse sees the bald eagle.[(triple14)]