The bald eagle is not blue. The bald eagle is cold. The bald eagle is not nice. The bald eagle is not rough. The bald eagle is round. All cold people are not nice. All cold people are not nice. Nice, rough people are cold. Nice, blue people are not round. If the bald eagle is nice and the bald eagle is cold then the bald eagle is rough. All rough, round people are blue.
The bald eagle is not nice.
@0: The bald eagle is cold.[(triple2)] The bald eagle is not blue.[(triple1)] The bald eagle is not nice.[(triple3 OR ((triple2) -> rule1) OR ((triple2) -> rule2))] The bald eagle is not rough.[(triple4)] The bald eagle is round.[(triple5)]