The bald eagle is blue. The bald eagle is rough. The bald eagle is round. If something is round and rough then it is red. Blue, nice things are round. If something is rough and nice then it is blue. All rough, round things are blue. If something is round and rough then it is nice. All red things are blue. Nice, red things are rough. All rough things are red.
The bald eagle is not round.
@0: The bald eagle is blue.[(triple1 OR ((triple2 triple3) -> rule4) OR ((((triple2) -> rule8)) -> rule6) OR ((((triple3 triple2) -> rule1)) -> rule6) OR ((triple2 ((triple3 triple2) -> rule5)) -> rule3))] The bald eagle is rough.[(triple2)] The bald eagle is round.[(triple3)] @1: The bald eagle is nice.[(((triple3 triple2) -> rule5))] The bald eagle is red.[(((triple2) -> rule8) OR ((triple3 triple2) -> rule1))]