Anne is cold. Anne is not kind. Anne is quiet. Anne is not red. Anne is smart. Bob is not cold. Bob is furry. Bob is kind. Bob is not red. Bob is smart. Charlie is cold. Charlie is not smart. Gary is kind. Gary is red. Gary is not smart. If Charlie is red then Charlie is green. If something is not quiet then it is not green. If Bob is cold and Bob is not quiet then Bob is furry.
Anne is furry.