Bob is big. Bob is not blue. Bob is green. Bob is nice. Bob is red. Bob is round. Bob is not white. Dave is big. Dave is nice. Erin is big. Erin is green. Erin is nice. Erin is red. Erin is round. Erin is not white. If Erin is big and Erin is white then Erin is not red. If someone is not blue then they are big. All blue people are big.
Erin is red.