Harry is furry. Harry is green. Harry is not kind. If someone is nice then they are not young. All furry people are not young. If someone is kind then they are not cold. Green people are nice. If Harry is kind then Harry is not green. All cold, nice people are not kind. If someone is furry and not young then they are white. If Harry is nice and Harry is not kind then Harry is white.
Harry is white.
@0: Harry is furry.[(triple1)] Harry is green.[(triple2)] Harry is not kind.[(triple3)] @1: Harry is nice.[(((triple2) -> rule4))] Harry is not young.[(((triple1) -> rule2) OR ((((triple2) -> rule4)) -> rule1))] @2: Harry is white.[(((triple1 ((triple1) -> rule2)) -> rule7) OR ((((triple2) -> rule4) triple3) -> rule8) OR ((triple1 ((((triple2) -> rule4)) -> rule1)) -> rule7))]