Bob is big. Bob is blue. Bob is nice. Bob is rough. Bob is smart. Erin is big. Erin is not blue. Erin is not green. Erin is not nice. Erin is red. Erin is not rough. Erin is smart. If someone is not red then they are green.
Erin is blue.