The bald eagle is not big. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is young. If something is kind then it is not big. If the bald eagle is green then the bald eagle is young. If the bald eagle is green and the bald eagle is big then the bald eagle is not young. Cold, big things are not kind. If the bald eagle is cold and the bald eagle is young then the bald eagle is not big. If the bald eagle is big and the bald eagle is green then the bald eagle is kind. If something is kind and big then it is cold. If something is big then it is cold.
The bald eagle is not green.
@0: The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is not big.[(triple1 OR ((triple4) -> rule1) OR ((triple2 triple5) -> rule5) OR ((triple2 ((triple3) -> rule2)) -> rule5))] The bald eagle is young.[(triple5 OR ((triple3) -> rule2))]