Anne is big. Anne is cold. Anne is furry. Anne is not red. Anne is not rough. Anne is white. Gary is big. Gary is not cold. Gary is furry. Gary is rough. Gary is round. Gary is white. Harry is big. Harry is cold. Harry is not rough. If something is red and round then it is not furry.
Anne is not white.