Anne is big. Anne is cold. Anne is round. Anne is young. Charlie is blue. Charlie is nice. Charlie is round. Fiona is big. Fiona is young. Gary is not big. Gary is blue. Gary is cold. Gary is nice. Gary is round. Gary is smart. Gary is not young. All smart things are round. If Charlie is nice and Charlie is young then Charlie is round. If something is cold and blue then it is not big. If something is cold and not smart then it is nice. If something is nice and not smart then it is cold. If something is blue and young then it is not smart. All nice, smart things are cold. If something is round and not nice then it is blue.
Charlie is not big.