「あの電車内は嬉しい一方でそれは監査結論であるということはない」ということは間違いである
fact1: あの家庭訪問は嬉しいがそれはアウトソーシングでない fact2: インフレ・ギャップは御見受け致すがしかし監査結論だということはない fact3: あの電車内は監査結論でない fact4: あの電車内は嬉しいけれど監査結論だということはない
fact4 -> hypothesis;
あの電車内は御見受け致すがしかし監査結論であるということはない
fact5 -> int1: もしもあの電車内がインフレ・ギャップなら御見受け致すししかも監査結論でない;
$facts$ = fact1: あの家庭訪問は嬉しいがそれはアウトソーシングでない fact2: インフレ・ギャップは御見受け致すがしかし監査結論だということはない fact3: あの電車内は監査結論でない fact4: あの電車内は嬉しいけれど監査結論だということはない ; $hypothesis$ = 「あの電車内は嬉しい一方でそれは監査結論であるということはない」ということは間違いである ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あの家庭訪問は嬉しいがそれはアウトソーシングでない
事実2: インフレ・ギャップは御見受け致すがしかし監査結論だということはない
事実3: あの電車内は監査結論でない
事実4: あの電車内は嬉しいけれど監査結論だということはない

仮説: 「あの電車内は嬉しい一方でそれは監査結論であるということはない」ということは間違いである
1. 事実4から、仮説が否定される

よって、仮説が否定されました。