Dave is green. Dave is kind. Dave is round. If someone is kind then they are big. If someone is cold then they are not nice. If Dave is round and Dave is green then Dave is smart. If Dave is kind and Dave is nice then Dave is cold. All smart people are cold. If someone is not smart then they are round. If Dave is not cold then Dave is nice. If someone is nice and not big then they are not kind.
Dave is not green.