Bob is blue. Bob is nice. Bob is rough. Bob is round. Bob is white. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is white. If something is nice and blue then it is red.
Bob is not red.