Anne is smart. Bob is rough. Charlie is green. Fiona is quiet. Round, rough people are young. If Fiona is green and Fiona is young then Fiona is rough. All white, smart people are rough. Young people are round. If someone is round and rough then they are green. Young people are green. All green people are young. Smart, green people are young.
Anne is not smart.