Bob is cold. Bob is not furry. Bob is red. Bob is round. Bob is not young. Charlie is blue. Charlie is furry. Charlie is green. Fiona is blue. Fiona is young. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is not round. Harry is young. If Bob is round and Bob is green then Bob is red. All green people are cold. If someone is not round then they are furry. If someone is furry then they are red. Furry people are green. All red people are green. If someone is cold and not green then they are furry. If Charlie is not cold and Charlie is not red then Charlie is blue.
Charlie is not round.