The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is young. If someone is nice then they are young. If the bald eagle is big and the bald eagle is blue then the bald eagle is young.
The bald eagle is not green.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is young.[(triple5 OR ((triple4) -> rule1) OR ((triple1 triple2) -> rule2))]