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