The bald eagle is big. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle is round. If someone is red then they are big.
The bald eagle is not big.
@0: The bald eagle is big.[(triple1 OR ((triple3) -> rule1))] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)]