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