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