Bob is blue. Bob is not cold. Bob is furry. Bob is green. Bob is red. Bob is round. Bob is white. Erin is blue. Erin is cold. Erin is green. Erin is not red. Erin is round. All green people are furry. If Bob is not green then Bob is blue. If Bob is not blue then Bob is red.
Erin is not furry.