The bald eagle is blue. The bald eagle is cold. The bald eagle is not rough. The bald eagle is round. The bald eagle is young. Young things are round. All round, rough things are young. If the bald eagle is cold then the bald eagle is blue.
The bald eagle does not see the bald eagle.
@0: The bald eagle is blue.[(triple1 OR ((triple2) -> rule3))] The bald eagle is cold.[(triple2)] The bald eagle is not rough.[(triple3)] The bald eagle is round.[(triple4 OR ((triple5) -> rule1))] The bald eagle is young.[(triple5)]