Bob is green. Erin is blue. All nice, round things are green. If Bob is blue then Bob is green. White, blue things are nice. If something is round then it is nice. If Erin is green and Erin is white then Erin is red. If something is blue then it is big.
Bob is not red.