Anne is blue. Anne is cold. Anne is furry. Anne is white. Charlie is not blue. Charlie is not green. Charlie is quiet. Charlie is not white. Gary is blue. Gary is cold. Gary is not furry. Gary is not green. Gary is quiet. Gary is red. Gary is not white. If something is quiet then it is not furry. If Gary is furry and Gary is quiet then Gary is cold. If Anne is green and Anne is not quiet then Anne is furry. Green things are red. If Charlie is blue then Charlie is cold. Green things are furry.
Charlie is quiet.