Harry is not blue. Harry is not cold. Harry is furry. Harry is quiet. Harry is not rough. Harry is round. Harry is white. If Harry is blue and Harry is cold then Harry is round. If something is cold and furry then it is blue. If something is quiet then it is furry. Quiet things are round. All furry, blue things are rough. If Harry is cold and Harry is not round then Harry is white.
Harry is not white.
@0: Harry is furry.[(triple3 OR ((triple4) -> rule3))] Harry is not blue.[(triple1)] Harry is not cold.[(triple2)] Harry is not rough.[(triple5)] Harry is quiet.[(triple4)] Harry is round.[(triple6 OR ((triple4) -> rule4))] Harry is white.[(triple7)]