Bob is big. Bob is green. Bob is quiet. Bob is round. Charlie is green. Charlie is rough. Charlie is white. Dave is red. Erin is green. Erin is rough. Erin is round. Erin is white. If someone is quiet and round then they are rough. If Bob is quiet then Bob is white. All big, red people are green. All big, green people are red. All round, big people are green. If Erin is quiet and Erin is green then Erin is round. If Charlie is big and Charlie is red then Charlie is white. If someone is rough and white then they are green.
Erin is red.