Bob is cold. Bob is kind. Bob is smart. Charlie is cold. Charlie is red. Dave is blue. Dave is red. Dave is round. Dave is white. Gary is cold. Cold things are round. All red, cold things are kind. All blue things are round. All smart things are round. If something is white then it is red. All cold, round things are blue. If something is blue and smart then it is white. If something is white and cold then it is smart. Cold, blue things are white.
Dave is smart.