The bald eagle is not big. The bald eagle is cold. The bald eagle is green. The bald eagle is round. The bald eagle is young. All young, round things are cold. All big, young things are round.
The bald eagle does not like the bald eagle.
@0: The bald eagle is cold.[(triple2 OR ((triple5 triple4) -> rule1))] The bald eagle is green.[(triple3)] The bald eagle is not big.[(triple1)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)]