Bob is big. Bob is round. Charlie is cold. Charlie is kind. Charlie is round. Erin is cold. Gary is white. Nice things are kind. Cold things are white. All kind, cold things are big. Round, white things are nice. All round, green things are cold. All white things are nice. Big things are green. If Gary is cold and Gary is white then Gary is green.
Charlie is not white.