The bald eagle is not big. The bald eagle is blue. The bald eagle is cold. The bald eagle is not rough. The bald eagle is young. All blue people are cold. If the bald eagle is not young then the bald eagle is not rough.
The bald eagle does not eat the bald eagle.
@0: The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3 OR ((triple2) -> rule1))] The bald eagle is not big.[(triple1)] The bald eagle is not rough.[(triple4)] The bald eagle is young.[(triple5)]