The bald eagle is nice. If someone is young then they are kind. Young people are kind. If the bald eagle is kind and the bald eagle is nice then the bald eagle is young. If someone is nice then they are big. Blue people are big. If someone is blue and nice then they are big. All big people are young. If the bald eagle is big and the bald eagle is kind then the bald eagle is not blue.
The bald eagle is kind.
@0: The bald eagle is nice.[(triple1)] @1: The bald eagle is big.[(((triple1) -> rule4))] @2: The bald eagle is young.[(((((triple1) -> rule4)) -> rule7))] @3: The bald eagle is kind.[(((((((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1) -> rule4)) -> rule7)) -> rule2))] @4: The bald eagle is not blue.[(((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule8) OR ((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule8))]