The bald eagle is blue. All red things are green. Red things are green. If something is blue and green then it is not nice. Blue things are red. Green things are red. Red things are blue. Red things are blue. If the bald eagle is green and the bald eagle is not cold then the bald eagle is red.
The bald eagle is nice.
@0: The bald eagle is blue.[(triple1)] @1: The bald eagle is red.[(((triple1) -> rule4))] @2: The bald eagle is green.[(((((triple1) -> rule4)) -> rule1) OR ((((triple1) -> rule4)) -> rule2))] @3: The bald eagle is not nice.[(((triple1 ((((triple1) -> rule4)) -> rule1)) -> rule3) OR ((triple1 ((((triple1) -> rule4)) -> rule2)) -> rule3))]