The bald eagle is not big. The bald eagle is blue. The bald eagle is cold. The bald eagle is red. The bald eagle is round. If someone is round and not cold then they are not blue. If someone is blue then they are red. If someone is round and not blue then they are red.
The bald eagle is cold.
@0: The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is not big.[(triple1)] The bald eagle is red.[(triple4 OR ((triple2) -> rule2))] The bald eagle is round.[(triple5)]