The bald eagle is kind. The bald eagle is nice. The bald eagle is young. If something is kind and young then it is rough. Kind, blue things are nice. All young things are rough. All nice things are rough. If the bald eagle is blue and the bald eagle is nice then the bald eagle is kind. If something is rough and young then it is nice. If something is kind and rough then it is nice. Young things are nice.
The bald eagle is young.
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2 OR ((triple3) -> rule8) OR ((triple1 ((triple3) -> rule3)) -> rule7) OR ((triple1 ((triple1 triple3) -> rule1)) -> rule7) OR ((((triple3) -> rule3) triple3) -> rule6) OR ((((triple1 triple3) -> rule1) triple3) -> rule6))] The bald eagle is young.[(triple3)] @1: The bald eagle is rough.[(((triple2) -> rule4) OR ((triple3) -> rule3) OR ((triple1 triple3) -> rule1) OR ((((triple3) -> rule8)) -> rule4))]