Erin is rough. Fiona is round. Fiona is smart. Gary is big. Harry is green. Harry is smart. Harry is young. All rough people are round. If someone is red and big then they are rough. If Gary is young then Gary is green. Big people are not round. All round people are not green. All red people are big. If someone is not green then they are smart. If Fiona is not smart then Fiona is not red.
Erin is green.