Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is round. Bob is smart. Dave is big. Dave is blue. Dave is nice. Dave is round. Dave is smart. If someone is kind and smart then they are cold. Blue people are nice. All cold, smart people are kind. If someone is smart and round then they are kind. If someone is smart then they are kind. Blue, kind people are cold. Smart, cold people are round. If Dave is smart and Dave is nice then Dave is round.
Dave is cold.