The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is round. If the bald eagle is nice and the bald eagle is green then the bald eagle is kind. Round things are kind.
The bald eagle does not chase the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple5) -> rule2) OR ((triple4 triple2) -> rule1))] The bald eagle is nice.[(triple4)] The bald eagle is round.[(triple5)]