The bald eagle is blue. The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle is round. If something is red then it is rough. All round things are rough. All blue, green things are red. Rough things are red. Red, green things are blue. If something is red and blue then it is green.
The bald eagle is not blue.
@0: The bald eagle is blue.[(triple1 OR ((triple3 triple2) -> rule5) OR ((((triple4) -> rule4) triple2) -> rule5) OR ((((((triple5) -> rule2)) -> rule4) triple2) -> rule5))] The bald eagle is green.[(triple2 OR ((triple3 triple1) -> rule6) OR ((((triple4) -> rule4) triple1) -> rule6) OR ((((((triple5) -> rule2)) -> rule4) triple1) -> rule6))] The bald eagle is red.[(triple3 OR ((triple4) -> rule4) OR ((triple1 triple2) -> rule3) OR ((((triple5) -> rule2)) -> rule4))] The bald eagle is rough.[(triple4 OR ((triple3) -> rule1) OR ((triple5) -> rule2) OR ((((triple1 triple2) -> rule3)) -> rule1))] The bald eagle is round.[(triple5)]