Anne is not blue. Anne is cold. Charlie is big. Charlie is smart. Dave is cold. Harry is big. Harry is not young. Furry, young things are cold. If something is blue and young then it is cold. If Anne is cold and Anne is green then Anne is big. If something is smart then it is blue. All green, big things are blue. If Charlie is not big then Charlie is not smart. If Charlie is smart and Charlie is green then Charlie is not cold. Green, cold things are not big.
Charlie is not blue.