The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. If the bald eagle is rough and the bald eagle is big then the bald eagle is kind.
The bald eagle is red.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple5 triple1) -> rule1))] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)]