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