Charlie is green. Charlie is red. Charlie is not rough. Charlie is round. Charlie is white. Dave is green. Dave is nice. Dave is red. Dave is not round. Dave is not white. Gary is green. Gary is not nice. Gary is rough. Gary is round. Gary is white. Harry is green. If Harry is red then Harry is round. If someone is not rough then they are green. If someone is not nice then they are white. White people are red. Green, cold people are not round. If someone is not red and not white then they are round.
Charlie is not white.