Harry is big. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. Harry is not white. Harry is young. If something is young then it is quiet. All smart things are young. If something is young then it is smart. If something is smart then it is not white. All kind, quiet things are furry. If something is furry and not smart then it is kind. If something is big and not quiet then it is kind. If something is furry then it is kind.
Harry is not smart.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2 OR ((triple3 triple4) -> rule5) OR ((triple3 ((triple7) -> rule1)) -> rule5) OR ((triple3 ((((triple5) -> rule2)) -> rule1)) -> rule5))] Harry is kind.[(triple3 OR ((triple2) -> rule8))] Harry is not white.[(triple6 OR ((triple5) -> rule4) OR ((((triple7) -> rule3)) -> rule4))] Harry is quiet.[(triple4 OR ((triple7) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Harry is smart.[(triple5 OR ((triple7) -> rule3))] Harry is young.[(triple7 OR ((triple5) -> rule2))]