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