Anne is big. Anne is blue. Anne is rough. Charlie is round. Charlie is smart. Erin is big. Erin is rough. Erin is round. Erin is young. Fiona is blue. Fiona is green. Smart things are young. If something is round and young then it is green. All rough things are smart. If something is green then it is young. If something is rough and smart then it is big. Round things are rough. If something is young then it is round. If something is not green then it is smart. If something is not smart then it is young.
Anne is not blue.