The bald eagle is not blue. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is rough. Blue things are green. If something is rough and not blue then it is cold. If the bald eagle is rough and the bald eagle is not green then the bald eagle is not red. If the bald eagle is green and the bald eagle is rough then the bald eagle is red. If something is green and cold then it is red. If something is rough and not cold then it is red. Green things are red. All blue things are red.
The bald eagle likes the bald eagle.
@0: The bald eagle is cold.[(triple2 OR ((triple5 triple1) -> rule2))] The bald eagle is green.[(triple3)] The bald eagle is not blue.[(triple1)] The bald eagle is red.[(triple4 OR ((triple3) -> rule7) OR ((triple3 triple2) -> rule5) OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple5 triple1) -> rule2)) -> rule5))] The bald eagle is rough.[(triple5)]