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