The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is round. All round, green people are cold.
The bald eagle is not cold.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple5 triple3) -> rule1))] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)]