The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. If something is nice then it is blue. If something is kind and nice then it is blue.
The bald eagle is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple5) -> rule1) OR ((triple4 triple5) -> rule2))] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)]