Anne is big. Anne is green. Anne is quiet. Erin is rough. Fiona is cold. Fiona is rough. Harry is rough. Rough, smart people are nice. Cold, quiet people are big. All smart people are rough. All quiet people are big. If Fiona is nice then Fiona is green. If someone is green then they are nice. Cold people are green. All rough people are cold. If someone is nice then they are quiet.
Erin is not smart.