Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is quiet. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is white. All red people are white. If someone is blue then they are white.
Erin is not blue.