Anne is big. Anne is white. Bob is green. Bob is nice. Bob is red. Erin is big. Fiona is young. If someone is green and not big then they are nice. All young people are red. If someone is not young then they are round. White people are red. If Anne is round and Anne is young then Anne is white. If someone is not red then they are green. If someone is white and not red then they are not green. If someone is red and not green then they are nice.
Erin is green.