Anne is big. Anne is cold. Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is round. Charlie is big. Charlie is cold. Charlie is furry. If something is furry then it is big. If Bob is blue then Bob is nice. All green things are nice. All nice things are round. If Bob is round and Bob is nice then Bob is blue. If Bob is cold then Bob is green. Furry, green things are big. If something is blue and nice then it is furry.
Bob is not furry.