用例方法論は否定の論証に使えない。