The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle is young. Kind, green things are young. If something is young then it is kind. If something is round and green then it is kind.
The bald eagle needs the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2 OR ((triple5) -> rule2) OR ((triple4 triple1) -> rule3))] The bald eagle is red.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5 OR ((triple2 triple1) -> rule1) OR ((((triple4 triple1) -> rule3) triple1) -> rule1))]