Bob is cold. Bob is kind. Bob is nice. Bob is smart. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Gary is blue. Gary is cold. Gary is quiet. Gary is smart. Harry is cold. Harry is furry. Harry is quiet. All smart things are cold. All quiet things are nice. Nice, cold things are smart. All nice, cold things are blue. If something is smart then it is kind. If something is quiet and blue then it is furry. Smart things are nice. If Harry is nice and Harry is blue then Harry is quiet.
Harry is not kind.