Anne is nice. Anne is young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is not green. Charlie is nice. Charlie is smart. Harry is big. Harry is cold. Harry is nice. Harry is smart. If Charlie is green and Charlie is big then Charlie is cold. If Anne is big and Anne is smart then Anne is not green. If something is smart and green then it is young. Nice things are smart. If something is not young and not cold then it is green. If something is blue and not cold then it is not smart.
Anne is blue.