The bald eagle is big. The bald eagle is cold. The bald eagle is not kind. The bald eagle is not round. The bald eagle is young. If the bald eagle is kind and the bald eagle is big then the bald eagle is not young. If the bald eagle is kind and the bald eagle is young then the bald eagle is cold. Cold people are young. Round people are not big. If someone is round then they are big. Young people are not kind. Big, kind people are not cold. If someone is big then they are cold.
The bald eagle is round.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple1) -> rule8))] The bald eagle is not kind.[(triple3 OR ((triple5) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((((triple1) -> rule8)) -> rule3)) -> rule6))] The bald eagle is not round.[(triple4)] The bald eagle is young.[(triple5 OR ((triple2) -> rule3) OR ((((triple1) -> rule8)) -> rule3))]