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