Alan is round. Alan is big. Charlie is red. Charlie is kind. Charlie is blue. Dave is kind. Harry is kind. If someone is kind then they are big. If someone is blue and kind then they are green. If someone is rough and big and green then they are cold. If someone is red and big and cold then they are kind. If someone is blue and big then they are rough.
Charlie is not cold.