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 does not visit the bald eagle.
@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))]