Dave is blue. Gary is cold. Harry is big. Harry is not furry. Harry is not quiet. Harry is not smart. Harry is not white. Quiet, cold things are smart. If something is quiet and white then it is not cold.
Dave is quiet.
@0: Dave is blue.[(triple1)] Gary is cold.[(triple2)] Harry is big.[(triple3)] Harry is not furry.[(triple4)] Harry is not quiet.[(triple5)] Harry is not smart.[(triple6)] Harry is not white.[(triple7)]