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