The bald eagle is blue. The bald eagle is cold. The bald eagle is green. All cold, blue people are red. All cold, red people are green. Cold, green people are red. Cold, red people are green. If the bald eagle is red and the bald eagle is cold then the bald eagle is blue. If the bald eagle is blue then the bald eagle is green.
The bald eagle is not blue.
@0: The bald eagle is blue.[(triple1 OR ((((triple2 triple3) -> rule3) triple2) -> rule5))] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3 OR ((triple1) -> rule6) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule2) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule4))] @1: The bald eagle is red.[(((triple2 triple1) -> rule1) OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple1) -> rule6)) -> rule3))]