Anne is cold. Anne is furry. Anne is quiet. Bob is big. Bob is blue. Bob is cold. Bob is not furry. Bob is not green. Dave is cold. Erin is furry. Erin is green. Erin is red. All furry people are big. All green, big people are quiet. If someone is cold and not green then they are quiet. All red, green people are blue. If someone is not quiet and not green then they are cold. If someone is cold and not blue then they are red.
Bob is not big.