Charlie is red. Dave is white. Gary is cold. Gary is kind. Gary is red. Gary is round. Harry is round. If someone is big and round then they are kind. All white people are cold. All round people are kind. Nice people are kind. If Harry is big and Harry is nice then Harry is red. If Dave is kind then Dave is big. All cold, kind people are nice. If someone is cold then they are nice.
Gary is not nice.