The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle is young. All young, red people are kind. If someone is nice then they are red.
The bald eagle sees the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple3) -> rule2)) -> rule1))] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4 OR ((triple3) -> rule2))] The bald eagle is young.[(triple5)]