The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle is young. Red, blue people are round. All nice, young people are red.
The bald eagle does not visit the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3 OR ((triple2 triple5) -> rule2))] The bald eagle is round.[(triple4 OR ((triple3 triple1) -> rule1) OR ((((triple2 triple5) -> rule2) triple1) -> rule1))] The bald eagle is young.[(triple5)]