The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is not kind. The bald eagle is not rough. If something is blue and kind then it is green. All big, rough things are not green. All kind things are not green. If something is green and not kind then it is blue. If the bald eagle is rough then the bald eagle is blue. If the bald eagle is not big then the bald eagle is green.
The bald eagle visits the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple3 triple4) -> rule4))] The bald eagle is green.[(triple3)] The bald eagle is not kind.[(triple4)] The bald eagle is not rough.[(triple5)]