この執行官保管は甚だしい
fact1: 仮に「とある物は根深くないかそれは鹿児島黒豚であるかどちらもである」ということは間違っているとしたらそれは甚だしくない fact2: もしも甚だし物があるとすればあの本手は性分らしい fact3: あの肘掛け付きは甚だし fact4: 「あの諸伝は甚だしい」ということは事実だ fact5: もしその小匙が後押しするし裏返るならばあの執行官保管は醜悪でない fact6: 「根深い」ものはある fact7: もしもこの本手は性分らしいとすると「「その小匙は阻止すがしかしペイオフするということはない」ということは成り立たない」ということは成り立つ fact8: もしも何かは根深いならば「その美人画は物凄まじくないしかつ分かり易くない」ということは成り立たない fact9: もしその美人画が甚だしくないとするとこの執行官保管は甚だしいししかも鹿児島黒豚である fact10: この執行官保管は物凄まじくない fact11: もしその美人画が甚だしくないとするとこの執行官保管は鹿児島黒豚だ fact12: 「その美人画はしみったれるけど根深くない」ということは成り立たない fact13: 仮に「なにがしかのものは根深くないかまたは鹿児島黒豚でないかあるいは両方ともである」ということは間違いだとしたらそれは甚だしくない fact14: もしも「あるものは醜悪だ」ということは間違いでないとすれば「根深くないか鹿児島黒豚であるかもしくはどちらもだ」ということは間違いである fact15: もしもその美人画は物凄まじくないなら「この執行官保管は分かり易い」ということは確かだ fact16: もし仮にある物が後押しするとすると醜悪である fact17: 仮に「とある物は阻止すがペイオフしない」ということは確かでないとしたら御詳しくない fact18: 「その美人画は鹿児島黒豚でないしかつ甚だしいということはない」ということは間違っている fact19: もしも「何かは物凄まじくなくてしかも分かり易いということはない」ということは間違いならば甚だしくない fact20: 仮にその美人画が物凄まじいとすると甚だしくない
fact19 -> int1: 仮に「その美人画は物凄まじくないし更に分かり易いということはない」ということは成り立たないとすれば甚だしいということはない; fact6 & fact8 -> int2: 「その美人画は物凄まじくないし更に分かり易くない」ということは事実であるということはない; int1 & int2 -> int3: その美人画は甚だしくない; int3 & fact9 -> int4: この執行官保管は甚だしいしまた鹿児島黒豚だ; int4 -> hypothesis;
この執行官保管は甚だしくない
fact24 -> int5: もし「この執行官保管は根深くないか鹿児島黒豚であるかあるいは両方だ」ということは誤りであるとしたらそれは甚だしくない; fact22 -> int6: 仮にこの執行官保管は醜悪であるとすれば「それは根深くないかあるいは鹿児島黒豚であるかあるいは両方ともだ」ということは成り立たない; fact21 -> int7: この執行官保管が後押しするとすればそれは醜悪である; fact23 -> int8: もし仮に「その小匙は阻止すがしかしそれはペイオフしない」ということは成り立つということはないならそれは御詳しくない; fact27 -> int9: 「「甚だし」ということは偽だということはない」物はある; int9 & fact26 -> int10: 「この本手は性分らしい」ということは確かである; fact25 & int10 -> int11: 「その小匙は阻止すけれどペイオフしない」ということは成り立たない; int8 & int11 -> int12: その小匙は御詳しくない; int12 -> int13: その小匙は御詳しくないかもしくは裏返らないか両方である; int13 -> int14: 「御詳しくないか裏返らないかもしくは両方ともな」ものはある;
$facts$ = fact1: 仮に「とある物は根深くないかそれは鹿児島黒豚であるかどちらもである」ということは間違っているとしたらそれは甚だしくない fact2: もしも甚だし物があるとすればあの本手は性分らしい fact3: あの肘掛け付きは甚だし fact4: 「あの諸伝は甚だしい」ということは事実だ fact5: もしその小匙が後押しするし裏返るならばあの執行官保管は醜悪でない fact6: 「根深い」ものはある fact7: もしもこの本手は性分らしいとすると「「その小匙は阻止すがしかしペイオフするということはない」ということは成り立たない」ということは成り立つ fact8: もしも何かは根深いならば「その美人画は物凄まじくないしかつ分かり易くない」ということは成り立たない fact9: もしその美人画が甚だしくないとするとこの執行官保管は甚だしいししかも鹿児島黒豚である fact10: この執行官保管は物凄まじくない fact11: もしその美人画が甚だしくないとするとこの執行官保管は鹿児島黒豚だ fact12: 「その美人画はしみったれるけど根深くない」ということは成り立たない fact13: 仮に「なにがしかのものは根深くないかまたは鹿児島黒豚でないかあるいは両方ともである」ということは間違いだとしたらそれは甚だしくない fact14: もしも「あるものは醜悪だ」ということは間違いでないとすれば「根深くないか鹿児島黒豚であるかもしくはどちらもだ」ということは間違いである fact15: もしもその美人画は物凄まじくないなら「この執行官保管は分かり易い」ということは確かだ fact16: もし仮にある物が後押しするとすると醜悪である fact17: 仮に「とある物は阻止すがペイオフしない」ということは確かでないとしたら御詳しくない fact18: 「その美人画は鹿児島黒豚でないしかつ甚だしいということはない」ということは間違っている fact19: もしも「何かは物凄まじくなくてしかも分かり易いということはない」ということは間違いならば甚だしくない fact20: 仮にその美人画が物凄まじいとすると甚だしくない ; $hypothesis$ = この執行官保管は甚だしい ; $proof$ = 
fact19 -> int1: 仮に「その美人画は物凄まじくないし更に分かり易いということはない」ということは成り立たないとすれば甚だしいということはない; fact6 & fact8 -> int2: 「その美人画は物凄まじくないし更に分かり易くない」ということは事実であるということはない; int1 & int2 -> int3: その美人画は甚だしくない; int3 & fact9 -> int4: この執行官保管は甚だしいしまた鹿児島黒豚だ; int4 -> hypothesis; __PROVED__
事実1: 仮に「とある物は根深くないかそれは鹿児島黒豚であるかどちらもである」ということは間違っているとしたらそれは甚だしくない
事実2: もしも甚だし物があるとすればあの本手は性分らしい
事実3: あの肘掛け付きは甚だし
事実4: 「あの諸伝は甚だしい」ということは事実だ
事実5: もしその小匙が後押しするし裏返るならばあの執行官保管は醜悪でない
事実6: 「根深い」ものはある
事実7: もしもこの本手は性分らしいとすると「「その小匙は阻止すがしかしペイオフするということはない」ということは成り立たない」ということは成り立つ
事実8: もしも何かは根深いならば「その美人画は物凄まじくないしかつ分かり易くない」ということは成り立たない
事実9: もしその美人画が甚だしくないとするとこの執行官保管は甚だしいししかも鹿児島黒豚である
事実10: この執行官保管は物凄まじくない
事実11: もしその美人画が甚だしくないとするとこの執行官保管は鹿児島黒豚だ
事実12: 「その美人画はしみったれるけど根深くない」ということは成り立たない
事実13: 仮に「なにがしかのものは根深くないかまたは鹿児島黒豚でないかあるいは両方ともである」ということは間違いだとしたらそれは甚だしくない
事実14: もしも「あるものは醜悪だ」ということは間違いでないとすれば「根深くないか鹿児島黒豚であるかもしくはどちらもだ」ということは間違いである
事実15: もしもその美人画は物凄まじくないなら「この執行官保管は分かり易い」ということは確かだ
事実16: もし仮にある物が後押しするとすると醜悪である
事実17: 仮に「とある物は阻止すがペイオフしない」ということは確かでないとしたら御詳しくない
事実18: 「その美人画は鹿児島黒豚でないしかつ甚だしいということはない」ということは間違っている
事実19: もしも「何かは物凄まじくなくてしかも分かり易いということはない」ということは間違いならば甚だしくない
事実20: 仮にその美人画が物凄まじいとすると甚だしくない

仮説: この執行官保管は甚だしい
1. 事実19から、推論1: "仮に「その美人画は物凄まじくないし更に分かり易いということはない」ということは成り立たないとすれば甚だしいということはない"が導かれる
2. 事実6と事実8から、推論2: "「その美人画は物凄まじくないし更に分かり易くない」ということは事実であるということはない"が導かれる
3. 推論1と推論2から、推論3: "その美人画は甚だしくない"が導かれる
4. 推論3と事実9から、推論4: "この執行官保管は甚だしいしまた鹿児島黒豚だ"が導かれる
5. 推論4から、仮説が導かれる

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