Bob is furry. Charlie is furry. Charlie is round. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is not white. Fiona is furry. Fiona is white. Big, cold people are round. If Charlie is kind then Charlie is cold. Kind people are cold. If someone is cold and white then they are big. Green people are kind. All white people are green. If someone is cold and not kind then they are not white.
Charlie is cold.