Charlie is big. Charlie is not red. Charlie is round. If someone is not nice and not red then they are cold. If someone is red then they are not round. If Charlie is cold then Charlie is green.
Charlie is not green.