Anne is kind. Dave is kind. Dave is not smart. Gary is white. Harry is blue. Harry is cold. Harry is nice. If Anne is kind then Anne is nice. If something is white then it is round. All cold things are blue. If something is white and not nice then it is cold. If something is white and not nice then it is smart. If something is round and not smart then it is cold.
Dave is not blue.