The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is red. If the bald eagle is cold and the bald eagle is kind then the bald eagle is green. Red people are cold. If someone is blue and red then they are cold.
The bald eagle is not blue.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple5) -> rule2) OR ((triple1 triple5) -> rule3))] The bald eagle is green.[(triple3 OR ((triple2 triple4) -> rule1) OR ((((triple5) -> rule2) triple4) -> rule1) OR ((((triple1 triple5) -> rule3) triple4) -> rule1))] The bald eagle is kind.[(triple4)] The bald eagle is red.[(triple5)]