The bald eagle is not big. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is young. If someone is kind then they are green. If someone is kind and not nice then they are not green. If someone is big and not nice then they are kind. Young, big people are kind. If the bald eagle is young and the bald eagle is not big then the bald eagle is kind. If the bald eagle is young and the bald eagle is big then the bald eagle is not kind. If someone is big then they are young. If the bald eagle is not kind then the bald eagle is green.
The bald eagle is nice.
@0: The bald eagle is green.[(triple2 OR ((triple3) -> rule1) OR ((((triple5 triple1) -> rule5)) -> rule1))] The bald eagle is kind.[(triple3 OR ((triple5 triple1) -> rule5))] The bald eagle is nice.[(triple4)] The bald eagle is not big.[(triple1)] The bald eagle is young.[(triple5)]