The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. All red, green people are nice. Nice, cold people are rough.
The bald eagle is green.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3 OR ((triple4 triple2) -> rule1))] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5 OR ((triple3 triple1) -> rule2) OR ((((triple4 triple2) -> rule1) triple1) -> rule2))]