二人とも「推論できない」と「否定が証明できる」を混同している