The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle is young. If something is kind then it is nice. All young things are nice.
The bald eagle is round.
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2 OR ((triple1) -> rule1) OR ((triple5) -> rule2))] The bald eagle is red.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)]