「あのブレーク文が自動小銃だしそれはＲＵＮである」ということは誤っている
fact1: もし仮になんらかの物は博しないとすれば「それが自動小銃だしＲＵＮだ」ということは成り立つということはない fact2: もし「あの自滅はＲＵＮでないがそれは博する」ということは間違っているならばあのブレーク文は博しない fact3: 「あの天津罪は博する」ということは真実だ fact4: 仮に「何らかの物は言語世界である」ということは本当だとしたら「参謀長だということはないけど博する」ということは間違っている fact5: あの新設は参謀長だ fact6: もしもあのブレーク文が博するなら自動小銃である fact7: 「あのブレーク文は博する」ということは真実だ fact8: あのブレーク文が参謀長だとするとＲＵＮだ fact9: 「あのブレーク文は参謀長である」ということは成り立つ
fact6 & fact7 -> int1: あのブレーク文は自動小銃である; fact9 & fact8 -> int2: あのブレーク文はＲＵＮだ; int1 & int2 -> hypothesis;
fact6 & fact7 -> int1: {B}{a}; fact9 & fact8 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「あのブレーク文は自動小銃であるしその上ＲＵＮだ」ということは間違いだ
fact11 -> int3: もし仮にあのブレーク文は博するということはないとすると「それは自動小銃だしＲＵＮである」ということは事実と異なる; fact10 -> int4: もし仮にあのブレーク文は言語世界であるとすれば「それは参謀長でないがしかし博する」ということは成り立たない;
$facts$ = fact1: もし仮になんらかの物は博しないとすれば「それが自動小銃だしＲＵＮだ」ということは成り立つということはない fact2: もし「あの自滅はＲＵＮでないがそれは博する」ということは間違っているならばあのブレーク文は博しない fact3: 「あの天津罪は博する」ということは真実だ fact4: 仮に「何らかの物は言語世界である」ということは本当だとしたら「参謀長だということはないけど博する」ということは間違っている fact5: あの新設は参謀長だ fact6: もしもあのブレーク文が博するなら自動小銃である fact7: 「あのブレーク文は博する」ということは真実だ fact8: あのブレーク文が参謀長だとするとＲＵＮだ fact9: 「あのブレーク文は参謀長である」ということは成り立つ ; $hypothesis$ = 「あのブレーク文が自動小銃だしそれはＲＵＮである」ということは誤っている ; $proof$ = 
fact6 & fact7 -> int1: あのブレーク文は自動小銃である; fact9 & fact8 -> int2: あのブレーク文はＲＵＮだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物は博しないとすれば「それが自動小銃だしＲＵＮだ」ということは成り立つということはない
事実2: もし「あの自滅はＲＵＮでないがそれは博する」ということは間違っているならばあのブレーク文は博しない
事実3: 「あの天津罪は博する」ということは真実だ
事実4: 仮に「何らかの物は言語世界である」ということは本当だとしたら「参謀長だということはないけど博する」ということは間違っている
事実5: あの新設は参謀長だ
事実6: もしもあのブレーク文が博するなら自動小銃である
事実7: 「あのブレーク文は博する」ということは真実だ
事実8: あのブレーク文が参謀長だとするとＲＵＮだ
事実9: 「あのブレーク文は参謀長である」ということは成り立つ

仮説: 「あのブレーク文が自動小銃だしそれはＲＵＮである」ということは誤っている
1. 事実6と事実7から、推論1: "あのブレーク文は自動小銃である"が導かれる
2. 事実9と事実8から、推論2: "あのブレーク文はＲＵＮだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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