The bald eagle is not big. The bald eagle is not blue. The bald eagle is rough. All blue things are big. All cold, rough things are big. All blue, cold things are big. If something is blue and big then it is not cold. If something is blue then it is not red. All big, cold things are rough. If the bald eagle is rough then the bald eagle is red. If the bald eagle is not big then the bald eagle is red.
The bald eagle is not cold.
@0: The bald eagle is not big.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle is rough.[(triple3)] @1: The bald eagle is red.[(((triple1) -> rule8) OR ((triple3) -> rule7))]