Anne is cold. Bob is cold. Charlie is white. All big things are nice. All white things are green. If Bob is big then Bob is young. All green, cold things are big. If something is not round then it is cold. If something is cold and big then it is not round.
Charlie is round.