Anne is big. Anne is not blue. Anne is cold. Anne is not furry. Anne is green. Anne is quiet. Anne is not red. Bob is big. Bob is quiet. Charlie is big. Charlie is blue. Charlie is furry. Harry is big. Harry is not furry. Harry is quiet. If something is blue and not green then it is red. Red, blue things are quiet.
Charlie is red.