Dave is cold. Dave is quiet. Dave is round. Dave is smart. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. All cold, red things are quiet. White, smart things are red. White things are smart. If Gary is smart and Gary is red then Gary is white. All quiet things are white. White things are red. If Dave is smart and Dave is red then Dave is nice. If Dave is nice and Dave is cold then Dave is quiet.
Dave is not smart.