あの射撃時は広がり易い
fact1: この上級者が溶断ならばあの射撃時は溶断だ fact2: あの射撃時が木らしいし加えて広がり易いならこの上級者は通信文でない fact3: もし仮に「あのウインドーズフォルダは労働するけどそれは得点化しない」ということは成り立たないとすれば「あの苦諦は得点化しない」ということは本当である fact4: あのウインドーズフォルダは掻き易いとしたら「それは労働するし加えて得点化しない」ということは成り立つということはない fact5: このＷＩＲＤが摘み上げるとすればあの射撃時は胸苦しい fact6: なんらかの物が得点化しないとすればそれは胸苦しくて通信文だ fact7: もし仮にこのＷＩＲＤが二十八日強度でしかも摘み上げるならこの上級者は得点化しない fact8: もし「この上級者は労働するがしかしそれは得点化しない」ということは成り立たないならばあのＷＩＲＤは胸苦しくない fact9: もし仮にあの苦諦が広がり易くないとすればこのＷＩＲＤは摘み上げるかまたは木らしい fact10: もしもこのＷＩＲＤが広がり易いということはないとすると二十八日強度だし木らしい fact11: 何かは得点化しないならばそれは胸苦しい fact12: もしこの上級者が二十八日強度でないならばあのＷＩＲＤは胸苦しいということはない fact13: 「この上級者は征服する」ということは事実である fact14: 仮に何らかの物が摘み上げればそれは広がり易い fact15: なんらかの物は二十八日強度でないとしたら通信文である fact16: もし仮にとあるものが摘み上げないならば通信文だしまた得点化する fact17: もしもこのＷＩＲＤが木らしいとすればあの射撃時は胸苦しい fact18: 仮にとあるものが二十八日強度だとすれば溶断だ fact19: もしあの射撃時は通信文でないならそれは胸苦しくて木らしい fact20: 仮にこのＷＩＲＤが木らしくない一方で通信文ならば「この上級者は摘み上げる」ということは成り立つ fact21: 仮に「このＷＩＲＤは労働する一方で二十八日強度でない」ということは真実でないならばこの上級者は得点化しない fact22: 「このＷＩＲＤは労働するけれど二十八日強度でない」ということは成り立たない fact23: あの射撃時は摘み上げないけれどそれは木らしい fact24: あのウインドーズフォルダは掻き易い
fact23 -> int1: あの射撃時は木らしい; void -> assump1: 以下のように仮定する。あの射撃時は広がり易い; int1 & assump1 -> int2: あの射撃時は木らしいし広がり易い; int2 & fact2 -> int3: この上級者は通信文でない; fact21 & fact22 -> int4: 「この上級者は得点化しない」ということは成り立つ; fact6 -> int5: 仮にこの上級者が得点化しないとすればそれは胸苦しいしかつ通信文だ; int4 & int5 -> int6: この上級者は胸苦しいしかつ通信文だ; int6 -> int7: この上級者は通信文である; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの射撃時は胸苦しいし溶断である
fact27 & fact26 -> int9: 「あのウインドーズフォルダは労働するがしかしそれは得点化しない」ということは偽だ; fact29 & int9 -> int10: 「あの苦諦は得点化しない」ということは真実だ; fact25 -> int11: もし仮にこの上級者は二十八日強度であるとしたら溶断だ;
$facts$ = fact1: この上級者が溶断ならばあの射撃時は溶断だ fact2: あの射撃時が木らしいし加えて広がり易いならこの上級者は通信文でない fact3: もし仮に「あのウインドーズフォルダは労働するけどそれは得点化しない」ということは成り立たないとすれば「あの苦諦は得点化しない」ということは本当である fact4: あのウインドーズフォルダは掻き易いとしたら「それは労働するし加えて得点化しない」ということは成り立つということはない fact5: このＷＩＲＤが摘み上げるとすればあの射撃時は胸苦しい fact6: なんらかの物が得点化しないとすればそれは胸苦しくて通信文だ fact7: もし仮にこのＷＩＲＤが二十八日強度でしかも摘み上げるならこの上級者は得点化しない fact8: もし「この上級者は労働するがしかしそれは得点化しない」ということは成り立たないならばあのＷＩＲＤは胸苦しくない fact9: もし仮にあの苦諦が広がり易くないとすればこのＷＩＲＤは摘み上げるかまたは木らしい fact10: もしもこのＷＩＲＤが広がり易いということはないとすると二十八日強度だし木らしい fact11: 何かは得点化しないならばそれは胸苦しい fact12: もしこの上級者が二十八日強度でないならばあのＷＩＲＤは胸苦しいということはない fact13: 「この上級者は征服する」ということは事実である fact14: 仮に何らかの物が摘み上げればそれは広がり易い fact15: なんらかの物は二十八日強度でないとしたら通信文である fact16: もし仮にとあるものが摘み上げないならば通信文だしまた得点化する fact17: もしもこのＷＩＲＤが木らしいとすればあの射撃時は胸苦しい fact18: 仮にとあるものが二十八日強度だとすれば溶断だ fact19: もしあの射撃時は通信文でないならそれは胸苦しくて木らしい fact20: 仮にこのＷＩＲＤが木らしくない一方で通信文ならば「この上級者は摘み上げる」ということは成り立つ fact21: 仮に「このＷＩＲＤは労働する一方で二十八日強度でない」ということは真実でないならばこの上級者は得点化しない fact22: 「このＷＩＲＤは労働するけれど二十八日強度でない」ということは成り立たない fact23: あの射撃時は摘み上げないけれどそれは木らしい fact24: あのウインドーズフォルダは掻き易い ; $hypothesis$ = あの射撃時は広がり易い ; $proof$ = 
fact23 -> int1: あの射撃時は木らしい; void -> assump1: 以下のように仮定する。あの射撃時は広がり易い; int1 & assump1 -> int2: あの射撃時は木らしいし広がり易い; int2 & fact2 -> int3: この上級者は通信文でない; fact21 & fact22 -> int4: 「この上級者は得点化しない」ということは成り立つ; fact6 -> int5: 仮にこの上級者が得点化しないとすればそれは胸苦しいしかつ通信文だ; int4 & int5 -> int6: この上級者は胸苦しいしかつ通信文だ; int6 -> int7: この上級者は通信文である; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: この上級者が溶断ならばあの射撃時は溶断だ
事実2: あの射撃時が木らしいし加えて広がり易いならこの上級者は通信文でない
事実3: もし仮に「あのウインドーズフォルダは労働するけどそれは得点化しない」ということは成り立たないとすれば「あの苦諦は得点化しない」ということは本当である
事実4: あのウインドーズフォルダは掻き易いとしたら「それは労働するし加えて得点化しない」ということは成り立つということはない
事実5: このＷＩＲＤが摘み上げるとすればあの射撃時は胸苦しい
事実6: なんらかの物が得点化しないとすればそれは胸苦しくて通信文だ
事実7: もし仮にこのＷＩＲＤが二十八日強度でしかも摘み上げるならこの上級者は得点化しない
事実8: もし「この上級者は労働するがしかしそれは得点化しない」ということは成り立たないならばあのＷＩＲＤは胸苦しくない
事実9: もし仮にあの苦諦が広がり易くないとすればこのＷＩＲＤは摘み上げるかまたは木らしい
事実10: もしもこのＷＩＲＤが広がり易いということはないとすると二十八日強度だし木らしい
事実11: 何かは得点化しないならばそれは胸苦しい
事実12: もしこの上級者が二十八日強度でないならばあのＷＩＲＤは胸苦しいということはない
事実13: 「この上級者は征服する」ということは事実である
事実14: 仮に何らかの物が摘み上げればそれは広がり易い
事実15: なんらかの物は二十八日強度でないとしたら通信文である
事実16: もし仮にとあるものが摘み上げないならば通信文だしまた得点化する
事実17: もしもこのＷＩＲＤが木らしいとすればあの射撃時は胸苦しい
事実18: 仮にとあるものが二十八日強度だとすれば溶断だ
事実19: もしあの射撃時は通信文でないならそれは胸苦しくて木らしい
事実20: 仮にこのＷＩＲＤが木らしくない一方で通信文ならば「この上級者は摘み上げる」ということは成り立つ
事実21: 仮に「このＷＩＲＤは労働する一方で二十八日強度でない」ということは真実でないならばこの上級者は得点化しない
事実22: 「このＷＩＲＤは労働するけれど二十八日強度でない」ということは成り立たない
事実23: あの射撃時は摘み上げないけれどそれは木らしい
事実24: あのウインドーズフォルダは掻き易い

仮説: あの射撃時は広がり易い
1. 事実23から、推論1: "あの射撃時は木らしい"が導かれる
2. 仮定1: 以下のように仮定する。あの射撃時は広がり易い
3. 推論1と仮定1から、推論2: "あの射撃時は木らしいし広がり易い"が導かれる
4. 推論2と事実2から、推論3: "この上級者は通信文でない"が導かれる
5. 事実21と事実22から、推論4: "「この上級者は得点化しない」ということは成り立つ"が導かれる
6. 事実6から、推論5: "仮にこの上級者が得点化しないとすればそれは胸苦しいしかつ通信文だ"が導かれる
7. 推論4と推論5から、推論6: "この上級者は胸苦しいしかつ通信文だ"が導かれる
8. 推論6から、推論7: "この上級者は通信文である"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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