The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is not red. All kind things are blue.
The bald eagle is not blue.
@0: The bald eagle is blue.[(triple1 OR ((triple3) -> rule1))] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is not red.[(triple5)]