Anne is green. Anne is nice. Charlie is cold. Charlie is nice. Charlie is red. Charlie is round. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is round. Fiona is quiet. Fiona is rough. Rough, round people are quiet. If Fiona is round and Fiona is quiet then Fiona is rough. All nice, green people are cold. All quiet, nice people are green. If someone is cold and nice then they are red. If someone is rough then they are round. Round, cold people are red. Green people are cold. If someone is round then they are nice.
Anne is not red.