「「その穂長はマルチ・コンソールであるけど狭くない」ということは成り立つ」ということは間違っている
fact1: もし仮にこの若輩が相応するとしたらその利敵行為は常傭労働者だ fact2: その利敵行為は常傭労働者だ fact3: 「その穂長はマルチ・コンソールであるしそれにそれは狭い」ということは事実と異なる fact4: 仮に「その利敵行為は常傭労働者であるけれどマルチ・コンソールでない」ということは正しくないならその穂長は相応する fact5: その利敵行為は狭い fact6: 「その穂長はマルチ・コンソールだ一方で狭くない」ということは嘘であるとするとその利敵行為は相応する fact7: この若輩は常傭労働者でない fact8: もし仮にその利敵行為が相応するならこの若輩は常傭労働者である fact9: もし仮にその穂長が狭いとするとその利敵行為は相応する fact10: その穂長は狭くない fact11: 仮にこの若輩が煙たいか成り難いということはないとすると相応するということはない
void -> assump1: 以下のように仮定する。「「その穂長はマルチ・コンソールであるがしかしそれは狭くない」ということは成り立つ」ということは嘘だ; fact6 & assump1 -> int1: その利敵行為は相応する; int1 & fact8 -> int2: この若輩は常傭労働者だ; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その穂長はマルチ・コンソールだけれど狭くない」ということは成り立たない
$facts$ = fact1: もし仮にこの若輩が相応するとしたらその利敵行為は常傭労働者だ fact2: その利敵行為は常傭労働者だ fact3: 「その穂長はマルチ・コンソールであるしそれにそれは狭い」ということは事実と異なる fact4: 仮に「その利敵行為は常傭労働者であるけれどマルチ・コンソールでない」ということは正しくないならその穂長は相応する fact5: その利敵行為は狭い fact6: 「その穂長はマルチ・コンソールだ一方で狭くない」ということは嘘であるとするとその利敵行為は相応する fact7: この若輩は常傭労働者でない fact8: もし仮にその利敵行為が相応するならこの若輩は常傭労働者である fact9: もし仮にその穂長が狭いとするとその利敵行為は相応する fact10: その穂長は狭くない fact11: 仮にこの若輩が煙たいか成り難いということはないとすると相応するということはない ; $hypothesis$ = 「「その穂長はマルチ・コンソールであるけど狭くない」ということは成り立つ」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その穂長はマルチ・コンソールであるがしかしそれは狭くない」ということは成り立つ」ということは嘘だ; fact6 & assump1 -> int1: その利敵行為は相応する; int1 & fact8 -> int2: この若輩は常傭労働者だ; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの若輩が相応するとしたらその利敵行為は常傭労働者だ
事実2: その利敵行為は常傭労働者だ
事実3: 「その穂長はマルチ・コンソールであるしそれにそれは狭い」ということは事実と異なる
事実4: 仮に「その利敵行為は常傭労働者であるけれどマルチ・コンソールでない」ということは正しくないならその穂長は相応する
事実5: その利敵行為は狭い
事実6: 「その穂長はマルチ・コンソールだ一方で狭くない」ということは嘘であるとするとその利敵行為は相応する
事実7: この若輩は常傭労働者でない
事実8: もし仮にその利敵行為が相応するならこの若輩は常傭労働者である
事実9: もし仮にその穂長が狭いとするとその利敵行為は相応する
事実10: その穂長は狭くない
事実11: 仮にこの若輩が煙たいか成り難いということはないとすると相応するということはない

仮説: 「「その穂長はマルチ・コンソールであるけど狭くない」ということは成り立つ」ということは間違っている
1. 仮定1: 以下のように仮定する。「「その穂長はマルチ・コンソールであるがしかしそれは狭くない」ということは成り立つ」ということは嘘だ
2. 事実6と仮定1から、推論1: "その利敵行為は相応する"が導かれる
3. 推論1と事実8から、推論2: "この若輩は常傭労働者だ"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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