The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle is young. If the bald eagle is kind then the bald eagle is rough. If the bald eagle is cold then the bald eagle is rough. If the bald eagle is cold and the bald eagle is young then the bald eagle is kind. All kind people are cold. If the bald eagle is rough and the bald eagle is young then the bald eagle is kind. Young people are rough.
The bald eagle is young.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple3) -> rule4) OR ((((triple4 triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule6) triple5) -> rule5)) -> rule4))] The bald eagle is kind.[(triple3 OR ((triple2 triple5) -> rule3) OR ((triple4 triple5) -> rule5) OR ((((triple2) -> rule2) triple5) -> rule5) OR ((((triple5) -> rule6) triple5) -> rule5))] The bald eagle is rough.[(triple4 OR ((triple2) -> rule2) OR ((triple3) -> rule1) OR ((triple5) -> rule6) OR ((((triple3) -> rule4)) -> rule2) OR ((((triple2 triple5) -> rule3)) -> rule1))] The bald eagle is young.[(triple5)]