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