Harry is not cold. Harry is furry. Harry is nice. Harry is not quiet. Harry is not round. Harry is not white. Harry is young. If someone is young then they are nice. All white people are not nice. All furry people are not quiet. If someone is cold and white then they are not quiet. Quiet, round people are white. If Harry is not cold then Harry is furry.
Harry is cold.
@0: Harry is furry.[(triple2 OR ((triple1) -> rule6))] Harry is nice.[(triple3 OR ((triple7) -> rule1))] Harry is not cold.[(triple1)] Harry is not quiet.[(triple4 OR ((triple2) -> rule3) OR ((((triple1) -> rule6)) -> rule3))] Harry is not round.[(triple5)] Harry is not white.[(triple6)] Harry is young.[(triple7)]