The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle is young. Kind people are red. If the bald eagle is cold then the bald eagle is blue. All kind, red people are young.
The bald eagle is young.
@0: The bald eagle is blue.[(triple1 OR ((triple2) -> rule2))] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple3) -> rule1))] The bald eagle is young.[(triple5 OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple3) -> rule1)) -> rule3))]