The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is round. If something is red and blue then it is nice. Round things are blue. If something is nice and round then it is green.
The bald eagle is not nice.
@0: The bald eagle is blue.[(triple1 OR ((triple5) -> rule2))] The bald eagle is green.[(triple2 OR ((triple3 triple5) -> rule3) OR ((((triple4 triple1) -> rule1) triple5) -> rule3) OR ((((triple4 ((triple5) -> rule2)) -> rule1) triple5) -> rule3))] The bald eagle is nice.[(triple3 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple5) -> rule2)) -> rule1))] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)]