The bald eagle is big. The bald eagle is not blue. The bald eagle is cold. The bald eagle is green. The bald eagle is not nice. If the bald eagle is blue and the bald eagle is green then the bald eagle is not big. If the bald eagle is green then the bald eagle is big. All blue things are big. All blue things are big. If something is green and not nice then it is big. If the bald eagle is green and the bald eagle is nice then the bald eagle is blue. Nice, big things are not cold. If something is nice and not blue then it is cold.
The bald eagle is not green.
@0: The bald eagle is big.[(triple1 OR ((triple4) -> rule2) OR ((triple4 triple5) -> rule5))] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is not blue.[(triple2)] The bald eagle is not nice.[(triple5)]