Bob is cold. Bob is furry. Bob is not kind. Bob is not round. Bob is smart. Bob is young. Charlie is smart. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is round. Dave is smart. Dave is young. Gary is big. Gary is young. If Gary is kind then Gary is furry. If Charlie is kind and Charlie is not furry then Charlie is not big.
Dave is not cold.