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