The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is round. The bald eagle is young. All green people are young. If someone is nice then they are green. All nice people are young.
The bald eagle is not round.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2 OR ((triple3) -> rule2))] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5 OR ((triple2) -> rule1) OR ((triple3) -> rule3) OR ((((triple3) -> rule2)) -> rule1))]