この授業時数は袖無しである
fact1: もしあの先物が振動暴露でないとしたらそれはボーイでそれは生まれ落ちる fact2: この授業時数が額間だしまたそれは汽船だ fact3: もし仮にあの九十五パーセント信頼区間は植林しないとすれば「それは後らしくないけれど実体化する」ということは誤りだ fact4: もし仮に「とある物は汽船だが額間でない」ということは嘘であるならヘルパーさん達である fact5: 「生まれ落ちる」ものはある fact6: あの九十五パーセント信頼区間は植林しない fact7: この授業時数は額間だ fact8: あの先物はボーイだ fact9: なんらかのものは抱え込むなら「それは汽船であるけれど額間でない」ということは成り立たない fact10: 仮にあの先物が汽船でないならばあの授業時数が袖無しだしまたそれは額間である fact11: もしも「「後らしくないしその上実体化する」ということは事実でない」ものがあるならこの余暇活動は程近いということはない fact12: あの先物は振動暴露でない fact13: もし「ボーイでないし振動暴露である」ものがあるとするとこの余暇活動は抱え込まない fact14: もし仮に「ある物は損害賠償する」ということは本当であるならそれはボーイでないけれど振動暴露である fact15: あの先物はゼロ位相応答でない fact16: あの先物は振動暴露でないならばそれはボーイである fact17: あの艦船は慣れ切る fact18: 仮にあの艦船が慣れ切るとすればそれは損害賠償する fact19: もしもこの授業時数が汽船だしそれが抱え込むならばあの先物は生まれ落ちない fact20: もしこの授業時数が抱え込むということはないならば袖無しでない fact21: もしもこの授業時数が振動暴露だし袖無しであるならあの先物は抱え込むということはない fact22: 程近くないものは生まれ落ちる
fact2 -> int1: この授業時数は汽船だ; void -> assump1: 以下のように仮定する。「この授業時数は抱え込む」ということは確かだ; int1 & assump1 -> int2: この授業時数は汽船であるしかつ抱え込む; int2 & fact19 -> int3: あの先物は生まれ落ちるということはない; fact1 & fact12 -> int4: あの先物はボーイで更に生まれ落ちる; int4 -> int5: あの先物は生まれ落ちる; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この授業時数は抱え込むということはない; int7 & fact20 -> hypothesis;
「この授業時数は袖無しだ」ということは事実である
fact24 -> int8: この余暇活動が程近くないとするとそれは生まれ落ちる; fact26 & fact31 -> int9: 「あの九十五パーセント信頼区間は後らしくないがしかし実体化する」ということは偽である; int9 -> int10: 「「後らしくないがしかし実体化する」ということは間違っている」ものはある; int10 & fact25 -> int11: この余暇活動は程近くない; int8 & int11 -> int12: この余暇活動は生まれ落ちる; fact29 -> int13: 仮にあの艦船が損害賠償するならボーイでないし更に振動暴露だ; fact27 & fact23 -> int14: 「あの艦船は損害賠償する」ということは正しい; int13 & int14 -> int15: あの艦船はボーイでないけど振動暴露だ; int15 -> int16: なにかはボーイでない一方で振動暴露だ; int16 & fact28 -> int17: この余暇活動は抱え込まない; int12 & int17 -> int18: この余暇活動は生まれ落ちるが抱え込まない; int18 -> int19: なんらかの物は生まれ落ちるがしかし抱え込まない;
$facts$ = fact1: もしあの先物が振動暴露でないとしたらそれはボーイでそれは生まれ落ちる fact2: この授業時数が額間だしまたそれは汽船だ fact3: もし仮にあの九十五パーセント信頼区間は植林しないとすれば「それは後らしくないけれど実体化する」ということは誤りだ fact4: もし仮に「とある物は汽船だが額間でない」ということは嘘であるならヘルパーさん達である fact5: 「生まれ落ちる」ものはある fact6: あの九十五パーセント信頼区間は植林しない fact7: この授業時数は額間だ fact8: あの先物はボーイだ fact9: なんらかのものは抱え込むなら「それは汽船であるけれど額間でない」ということは成り立たない fact10: 仮にあの先物が汽船でないならばあの授業時数が袖無しだしまたそれは額間である fact11: もしも「「後らしくないしその上実体化する」ということは事実でない」ものがあるならこの余暇活動は程近いということはない fact12: あの先物は振動暴露でない fact13: もし「ボーイでないし振動暴露である」ものがあるとするとこの余暇活動は抱え込まない fact14: もし仮に「ある物は損害賠償する」ということは本当であるならそれはボーイでないけれど振動暴露である fact15: あの先物はゼロ位相応答でない fact16: あの先物は振動暴露でないならばそれはボーイである fact17: あの艦船は慣れ切る fact18: 仮にあの艦船が慣れ切るとすればそれは損害賠償する fact19: もしもこの授業時数が汽船だしそれが抱え込むならばあの先物は生まれ落ちない fact20: もしこの授業時数が抱え込むということはないならば袖無しでない fact21: もしもこの授業時数が振動暴露だし袖無しであるならあの先物は抱え込むということはない fact22: 程近くないものは生まれ落ちる ; $hypothesis$ = この授業時数は袖無しである ; $proof$ = 
fact2 -> int1: この授業時数は汽船だ; void -> assump1: 以下のように仮定する。「この授業時数は抱え込む」ということは確かだ; int1 & assump1 -> int2: この授業時数は汽船であるしかつ抱え込む; int2 & fact19 -> int3: あの先物は生まれ落ちるということはない; fact1 & fact12 -> int4: あの先物はボーイで更に生まれ落ちる; int4 -> int5: あの先物は生まれ落ちる; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この授業時数は抱え込むということはない; int7 & fact20 -> hypothesis; __DISPROVED__
事実1: もしあの先物が振動暴露でないとしたらそれはボーイでそれは生まれ落ちる
事実2: この授業時数が額間だしまたそれは汽船だ
事実3: もし仮にあの九十五パーセント信頼区間は植林しないとすれば「それは後らしくないけれど実体化する」ということは誤りだ
事実4: もし仮に「とある物は汽船だが額間でない」ということは嘘であるならヘルパーさん達である
事実5: 「生まれ落ちる」ものはある
事実6: あの九十五パーセント信頼区間は植林しない
事実7: この授業時数は額間だ
事実8: あの先物はボーイだ
事実9: なんらかのものは抱え込むなら「それは汽船であるけれど額間でない」ということは成り立たない
事実10: 仮にあの先物が汽船でないならばあの授業時数が袖無しだしまたそれは額間である
事実11: もしも「「後らしくないしその上実体化する」ということは事実でない」ものがあるならこの余暇活動は程近いということはない
事実12: あの先物は振動暴露でない
事実13: もし「ボーイでないし振動暴露である」ものがあるとするとこの余暇活動は抱え込まない
事実14: もし仮に「ある物は損害賠償する」ということは本当であるならそれはボーイでないけれど振動暴露である
事実15: あの先物はゼロ位相応答でない
事実16: あの先物は振動暴露でないならばそれはボーイである
事実17: あの艦船は慣れ切る
事実18: 仮にあの艦船が慣れ切るとすればそれは損害賠償する
事実19: もしもこの授業時数が汽船だしそれが抱え込むならばあの先物は生まれ落ちない
事実20: もしこの授業時数が抱え込むということはないならば袖無しでない
事実21: もしもこの授業時数が振動暴露だし袖無しであるならあの先物は抱え込むということはない
事実22: 程近くないものは生まれ落ちる

仮説: この授業時数は袖無しである
1. 事実2から、推論1: "この授業時数は汽船だ"が導かれる
2. 仮定1: 以下のように仮定する。「この授業時数は抱え込む」ということは確かだ
3. 推論1と仮定1から、推論2: "この授業時数は汽船であるしかつ抱え込む"が導かれる
4. 推論2と事実19から、推論3: "あの先物は生まれ落ちるということはない"が導かれる
5. 事実1と事実12から、推論4: "あの先物はボーイで更に生まれ落ちる"が導かれる
6. 推論4から、推論5: "あの先物は生まれ落ちる"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この授業時数は抱え込むということはない"が導かれる
9. 推論7と事実20から、仮説が否定される

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