Anne is rough. Dave is cold. Dave is green. Dave is smart. Dave is young. Erin is cold. Fiona is nice. Fiona is quiet. Fiona is not smart. Fiona is young. Green people are quiet. All rough people are young. Young, nice people are quiet. All cold people are green. If someone is quiet and cold then they are nice. If someone is nice then they are rough. All green people are quiet. If someone is smart and not rough then they are nice.
Anne is not smart.