The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. All red, kind things are nice. All red things are kind. All red things are green.
The bald eagle is red.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2 OR ((triple5) -> rule3))] The bald eagle is kind.[(triple3 OR ((triple5) -> rule2))] The bald eagle is nice.[(triple4 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule1))] The bald eagle is red.[(triple5)]