あの行政マンはよだたない
fact1: もしもある物は日本語教育だとすれば「それはよだたないしおまけにそれはまあるい」ということは誤っている fact2: 「あの行政マンは口喧しいけど手直ししない」ということは事実と異なる fact3: 「あの行政マンは口喧しいけれど手直しするということはない」ということは成り立たないならばそれはよだつ fact4: もし仮にあの行政マンが口喧しくないとしたらよだつ
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
あの行政マンはよだたない
fact5 -> int1: もしもこの生麺は日本語教育だとすれば「よだたないがまあるい」ということは間違いである;
$facts$ = fact1: もしもある物は日本語教育だとすれば「それはよだたないしおまけにそれはまあるい」ということは誤っている fact2: 「あの行政マンは口喧しいけど手直ししない」ということは事実と異なる fact3: 「あの行政マンは口喧しいけれど手直しするということはない」ということは成り立たないならばそれはよだつ fact4: もし仮にあの行政マンが口喧しくないとしたらよだつ ; $hypothesis$ = あの行政マンはよだたない ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもある物は日本語教育だとすれば「それはよだたないしおまけにそれはまあるい」ということは誤っている
事実2: 「あの行政マンは口喧しいけど手直ししない」ということは事実と異なる
事実3: 「あの行政マンは口喧しいけれど手直しするということはない」ということは成り立たないならばそれはよだつ
事実4: もし仮にあの行政マンが口喧しくないとしたらよだつ

仮説: あの行政マンはよだたない
1. 事実3と事実2から、仮説が否定される

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