Anne is smart. Charlie is smart. Fiona is nice. Gary is smart. All rough people are green. All nice people are round. Blue people are rough. All round people are blue. Green, blue people are white. If Gary is green then Gary is blue. Blue people are green. All green, rough people are round.
Charlie is not nice.