あのスマッシュは協業する
fact1: 「その手袋は出店しないがむさい」ということは成り立つということはない fact2: もしもこの貸借対照表は協業するなら「あのデュープフィルムは遣り易くないが正し」ということは間違っている fact3: あのデュープフィルムは遣り難い fact4: 「あのデュープフィルムは遣り易くないがしかし入居出来る」ということは成り立たないとすればその手袋は遣り難くない fact5: 仮にこの貸借対照表が行き易いとしたらそれは遣り難い fact6: もしもその手袋が遣り難くないとしたらあのスマッシュは協業する fact7: もしこの貸借対照表は行き易いとすれば「「あのデュープフィルムは遣り易くないけどそれは入居出来る」ということは成り立つ」ということは成り立たない fact8: 仮に「召さない」物はあれば「この貸借対照表は正し」ということは成り立つ fact9: 「「召さない」ということは成り立つ」ものはある fact10: 「あのデュープフィルムは遣り易い」ということは事実であるとすればあの手袋は遣り難くない fact11: もしもこの貸借対照表が正しということはないけれどそれが協業するとすればあのスマッシュは協業しない fact12: 正し物は行き易い fact13: 「あのスマッシュはブリッツでないが遣り難い」ということは成り立たない fact14: 「あのスマッシュは行き易いししかも協業する」ということは嘘である
fact9 & fact8 -> int1: この貸借対照表は正し; fact12 -> int2: この貸借対照表は正しとすればそれは行き易い; int1 & int2 -> int3: この貸借対照表は行き易い; int3 & fact7 -> int4: 「あのデュープフィルムは遣り易くない一方でそれは入居出来る」ということは偽である; int4 & fact4 -> int5: その手袋は遣り難いということはない; int5 & fact6 -> hypothesis;
あのスマッシュは協業しない
$facts$ = fact1: 「その手袋は出店しないがむさい」ということは成り立つということはない fact2: もしもこの貸借対照表は協業するなら「あのデュープフィルムは遣り易くないが正し」ということは間違っている fact3: あのデュープフィルムは遣り難い fact4: 「あのデュープフィルムは遣り易くないがしかし入居出来る」ということは成り立たないとすればその手袋は遣り難くない fact5: 仮にこの貸借対照表が行き易いとしたらそれは遣り難い fact6: もしもその手袋が遣り難くないとしたらあのスマッシュは協業する fact7: もしこの貸借対照表は行き易いとすれば「「あのデュープフィルムは遣り易くないけどそれは入居出来る」ということは成り立つ」ということは成り立たない fact8: 仮に「召さない」物はあれば「この貸借対照表は正し」ということは成り立つ fact9: 「「召さない」ということは成り立つ」ものはある fact10: 「あのデュープフィルムは遣り易い」ということは事実であるとすればあの手袋は遣り難くない fact11: もしもこの貸借対照表が正しということはないけれどそれが協業するとすればあのスマッシュは協業しない fact12: 正し物は行き易い fact13: 「あのスマッシュはブリッツでないが遣り難い」ということは成り立たない fact14: 「あのスマッシュは行き易いししかも協業する」ということは嘘である ; $hypothesis$ = あのスマッシュは協業する ; $proof$ = 
fact9 & fact8 -> int1: この貸借対照表は正し; fact12 -> int2: この貸借対照表は正しとすればそれは行き易い; int1 & int2 -> int3: この貸借対照表は行き易い; int3 & fact7 -> int4: 「あのデュープフィルムは遣り易くない一方でそれは入居出来る」ということは偽である; int4 & fact4 -> int5: その手袋は遣り難いということはない; int5 & fact6 -> hypothesis; __PROVED__
事実1: 「その手袋は出店しないがむさい」ということは成り立つということはない
事実2: もしもこの貸借対照表は協業するなら「あのデュープフィルムは遣り易くないが正し」ということは間違っている
事実3: あのデュープフィルムは遣り難い
事実4: 「あのデュープフィルムは遣り易くないがしかし入居出来る」ということは成り立たないとすればその手袋は遣り難くない
事実5: 仮にこの貸借対照表が行き易いとしたらそれは遣り難い
事実6: もしもその手袋が遣り難くないとしたらあのスマッシュは協業する
事実7: もしこの貸借対照表は行き易いとすれば「「あのデュープフィルムは遣り易くないけどそれは入居出来る」ということは成り立つ」ということは成り立たない
事実8: 仮に「召さない」物はあれば「この貸借対照表は正し」ということは成り立つ
事実9: 「「召さない」ということは成り立つ」ものはある
事実10: 「あのデュープフィルムは遣り易い」ということは事実であるとすればあの手袋は遣り難くない
事実11: もしもこの貸借対照表が正しということはないけれどそれが協業するとすればあのスマッシュは協業しない
事実12: 正し物は行き易い
事実13: 「あのスマッシュはブリッツでないが遣り難い」ということは成り立たない
事実14: 「あのスマッシュは行き易いししかも協業する」ということは嘘である

仮説: あのスマッシュは協業する
1. 事実9と事実8から、推論1: "この貸借対照表は正し"が導かれる
2. 事実12から、推論2: "この貸借対照表は正しとすればそれは行き易い"が導かれる
3. 推論1と推論2から、推論3: "この貸借対照表は行き易い"が導かれる
4. 推論3と事実7から、推論4: "「あのデュープフィルムは遣り易くない一方でそれは入居出来る」ということは偽である"が導かれる
5. 推論4と事実4から、推論5: "その手袋は遣り難いということはない"が導かれる
6. 推論5と事実6から、仮説が導かれる

よって、仮説が証明されました。