Anne is cold. Anne is nice. Erin is big. Erin is rough. Fiona is green. Fiona is nice. Fiona is young. All cold, green people are young. All kind, cold people are young. Kind, cold people are green. All nice, cold people are green. All cold people are green. All rough, big people are nice. If Fiona is big and Fiona is young then Fiona is cold. If Anne is green then Anne is young.
Erin is not young.