Dave is green. Gary is cold. Smart people are kind. If someone is kind and not furry then they are smart. If someone is not furry then they are green. Furry, kind people are big. Big people are kind. All kind, round people are not green. All green people are cold. If someone is not round then they are big.
Dave is not green.