「その黒・白が百三十一Ｉ‐ＭＩＢＧだとしたらこの階級章はめんど臭くない」ということは偽である
fact1: 「小難しい」物はある fact2: 仮に「小難しい」ものはあるとしたら「あの国家行為は約定しないけれど真俗だ」ということは成り立たない fact3: めんど臭い物は泥濘む fact4: もしもなんらかの物が小難しいとしたら百三十一Ｉ‐ＭＩＢＧだ fact5: 仮に「その黒・白は泥濘むしおまけに百三十一Ｉ‐ＭＩＢＧである」ということは本当であるとすればあの階級章はめんど臭くない fact6: 「あの国家行為は結び付き易い」ということは真実であるならばその黒・白は泥濘む fact7: もし何らかのものは真俗でないとしたら約定しないが小難しい fact8: もし「とある物は約定しないけれどそれは真俗だ」ということは成り立つということはないとすると結び付き易い
fact1 & fact2 -> int1: 「あの国家行為は約定しないがしかしそれは真俗だ」ということは成り立たない; fact8 -> int2: もし「あの国家行為は約定しないけれどそれは真俗である」ということは間違っているならそれは結び付き易い; int1 & int2 -> int3: あの国家行為は結び付き易い; int3 & fact6 -> int4: 「その黒・白は泥濘む」ということは確かだ; void -> assump1: 以下のように仮定する。その黒・白は百三十一Ｉ‐ＭＩＢＧだ; int4 & assump1 -> int5: その黒・白は泥濘むし百三十一Ｉ‐ＭＩＢＧだ; int5 & fact5 -> int6: 「この階級章はめんど臭くない」ということは成り立つ; [assump1] & int6 -> hypothesis;
そのブローは百三十一Ｉ‐ＭＩＢＧである
fact9 -> int7: 仮にそのブローが小難しいとするとそれは百三十一Ｉ‐ＭＩＢＧだ; fact10 -> int8: 仮にそのブローが真俗でないならば約定しなくてそれは小難しい;
$facts$ = fact1: 「小難しい」物はある fact2: 仮に「小難しい」ものはあるとしたら「あの国家行為は約定しないけれど真俗だ」ということは成り立たない fact3: めんど臭い物は泥濘む fact4: もしもなんらかの物が小難しいとしたら百三十一Ｉ‐ＭＩＢＧだ fact5: 仮に「その黒・白は泥濘むしおまけに百三十一Ｉ‐ＭＩＢＧである」ということは本当であるとすればあの階級章はめんど臭くない fact6: 「あの国家行為は結び付き易い」ということは真実であるならばその黒・白は泥濘む fact7: もし何らかのものは真俗でないとしたら約定しないが小難しい fact8: もし「とある物は約定しないけれどそれは真俗だ」ということは成り立つということはないとすると結び付き易い ; $hypothesis$ = 「その黒・白が百三十一Ｉ‐ＭＩＢＧだとしたらこの階級章はめんど臭くない」ということは偽である ; $proof$ = 
fact1 & fact2 -> int1: 「あの国家行為は約定しないがしかしそれは真俗だ」ということは成り立たない; fact8 -> int2: もし「あの国家行為は約定しないけれどそれは真俗である」ということは間違っているならそれは結び付き易い; int1 & int2 -> int3: あの国家行為は結び付き易い; int3 & fact6 -> int4: 「その黒・白は泥濘む」ということは確かだ; void -> assump1: 以下のように仮定する。その黒・白は百三十一Ｉ‐ＭＩＢＧだ; int4 & assump1 -> int5: その黒・白は泥濘むし百三十一Ｉ‐ＭＩＢＧだ; int5 & fact5 -> int6: 「この階級章はめんど臭くない」ということは成り立つ; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「小難しい」物はある
事実2: 仮に「小難しい」ものはあるとしたら「あの国家行為は約定しないけれど真俗だ」ということは成り立たない
事実3: めんど臭い物は泥濘む
事実4: もしもなんらかの物が小難しいとしたら百三十一Ｉ‐ＭＩＢＧだ
事実5: 仮に「その黒・白は泥濘むしおまけに百三十一Ｉ‐ＭＩＢＧである」ということは本当であるとすればあの階級章はめんど臭くない
事実6: 「あの国家行為は結び付き易い」ということは真実であるならばその黒・白は泥濘む
事実7: もし何らかのものは真俗でないとしたら約定しないが小難しい
事実8: もし「とある物は約定しないけれどそれは真俗だ」ということは成り立つということはないとすると結び付き易い

仮説: 「その黒・白が百三十一Ｉ‐ＭＩＢＧだとしたらこの階級章はめんど臭くない」ということは偽である
1. 事実1と事実2から、推論1: "「あの国家行為は約定しないがしかしそれは真俗だ」ということは成り立たない"が導かれる
2. 事実8から、推論2: "もし「あの国家行為は約定しないけれどそれは真俗である」ということは間違っているならそれは結び付き易い"が導かれる
3. 推論1と推論2から、推論3: "あの国家行為は結び付き易い"が導かれる
4. 推論3と事実6から、推論4: "「その黒・白は泥濘む」ということは確かだ"が導かれる
5. 仮定1: 以下のように仮定する。その黒・白は百三十一Ｉ‐ＭＩＢＧだ
6. 推論4と仮定1から、推論5: "その黒・白は泥濘むし百三十一Ｉ‐ＭＩＢＧだ"が導かれる
7. 推論5と事実5から、推論6: "「この階級章はめんど臭くない」ということは成り立つ"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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