Harry is blue. Harry is cold. Harry is not furry. Harry is kind. Harry is quiet. Harry is red. Harry is white. If Harry is quiet and Harry is not red then Harry is cold. If someone is white then they are kind.
Harry is not white.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is kind.[(triple4 OR ((triple7) -> rule2))] Harry is not furry.[(triple3)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is white.[(triple7)]