Anne is big. Anne is red. Anne is rough. Anne is white. Bob is nice. Erin is big. Erin is nice. Erin is rough. Fiona is big. Fiona is red. Fiona is rough. If Bob is big and Bob is rough then Bob is furry. If Bob is green then Bob is white. If Bob is big and Bob is furry then Bob is green. If something is big then it is rough. If something is white then it is furry. All nice things are big. If something is furry and white then it is rough. All rough, green things are red. If something is not big then it is rough.
Erin is red.