Anne is big. Anne is round. Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is round. Erin is green. Erin is round. Gary is blue. Gary is not furry. Gary is red. If Anne is red then Anne is blue. If something is furry and blue then it is red. If something is not furry then it is blue. If Bob is round and Bob is green then Bob is big. Big things are cold. If something is big and red then it is cold. If something is not red then it is big. If something is cold and not red then it is not furry.
Bob is not furry.