The bald eagle is kind. The bald eagle is rough. The bald eagle is young. All kind things are young. Kind things are green.
The bald eagle is not rough.
@0: The bald eagle is kind.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3 OR ((triple1) -> rule1))] @1: The bald eagle is green.[(((triple1) -> rule2))]