このエクスポーズ製は製粉しない
fact1: 乏しい物は期し難くないし読み終わらない fact2: もしも「この書跡は訪ねなくてかつそれは管轄違であるということはない」ということは事実と異なるとするとそれは乏しい fact3: その火箸はじいんとするなら「この書跡は大人し一方でそれは着易くない」ということは誤っている fact4: もしもなにがしかのものは際どいとすれば「それは訪ねる」ということは成り立つ fact5: 仮にあの社会福祉事業経営者がカリニ肺炎でないとするとあの社会起業家・市民起業家は見極め難くて際どい fact6: もしもこの書跡が大人しないならばあの火箸は着易いがしかしそれはじいんとするということはない fact7: その火箸はじいんとしない fact8: 仮にとある物が訪ねないとするとそれは管轄違だが期し難くない fact9: あの社会起業家・市民起業家が訪ねるとすればあの書跡は訪ねるということはない fact10: すべての物は澄む fact11: もし仮に「この乱交は雑居する一方で動脈硬化であるということはない」ということは間違っているとすればあの葎は動脈硬化だ fact12: 仮に「動脈硬化な」物があるとすればあの社会福祉事業経営者はカリニ肺炎であるということはない fact13: この書跡は大人しない fact14: もしその火箸が乏しくないがそれが大人しとしたらこのエクスポーズ製は大人し fact15: もし仮になにかは読み終わるとするとそれは乏しくないけど大人し fact16: 仮にこのエクスポーズ製は製粉するとすると「その火箸は着易くておまけにじいんとする」ということは間違いだ fact17: 「その火箸が着易いしその上それはじいんとする」ということは成り立たない fact18: もしその火箸が読み終わらないとすればあのエクスポーズ製は製粉するがしかし大人しない fact19: もし仮にこのエクスポーズ製は製粉すれば「「その火箸は着易いけれどじいんとしない」ということは事実と異なる」ということは確かである fact20: もしもこの書跡が大人しないとしたらその火箸はじいんとしない fact21: もしも「この書跡は管轄違だがしかし期し難いということはない」ということは成り立つとすればその火箸は読み終わる fact22: 仮になにがしかのものは澄むとすると「雑居するし動脈硬化でない」ということは間違っている
void -> assump1: 以下のように仮定する。このエクスポーズ製は製粉する; fact19 & assump1 -> int1: 「その火箸は着易いがしかしじいんとしない」ということは誤っている; fact13 & fact6 -> int2: その火箸は着易い一方でじいんとしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「このエクスポーズ製は製粉する」ということは確かである
fact29 -> int4: 仮にこの書跡が訪ねないとしたらそれは管轄違であって更に期し難くない; fact25 -> int5: 仮にあの社会起業家・市民起業家が際どいとすると訪ねる; fact30 -> int6: 「その遺伝子組み替え技術は澄む」ということは確かであるとしたら「雑居するがしかし動脈硬化でない」ということは間違いだ; fact23 -> int7: その遺伝子組み替え技術は澄む; int6 & int7 -> int8: 「その遺伝子組み替え技術は雑居するが動脈硬化でない」ということは正しくない; int8 -> int9: 雑居するが動脈硬化でないというものはない; int9 -> int10: 「この乱交は雑居するが動脈硬化であるということはない」ということは嘘である; fact32 & int10 -> int11: この葎は動脈硬化である; int11 -> int12: 「動脈硬化な」物はある; int12 & fact28 -> int13: あの社会福祉事業経営者はカリニ肺炎でない; fact24 & int13 -> int14: あの社会起業家・市民起業家は見極め難いしその上際どい; int14 -> int15: あの社会起業家・市民起業家は際どい; int5 & int15 -> int16: あの社会起業家・市民起業家は訪ねる; fact27 & int16 -> int17: この書跡は訪ねるということはない; int4 & int17 -> int18: この書跡は管轄違だけど期し難くない; int18 & fact33 -> int19: その火箸は読み終わる; fact26 -> int20: 仮にその火箸が読み終わるとしたら乏しいということはなくてそれは大人し; int19 & int20 -> int21: その火箸は乏しくないけど大人し; int21 & fact31 -> int22: このエクスポーズ製は大人し;
$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$ = 
void -> assump1: 以下のように仮定する。このエクスポーズ製は製粉する; fact19 & assump1 -> int1: 「その火箸は着易いがしかしじいんとしない」ということは誤っている; fact13 & fact6 -> int2: その火箸は着易い一方でじいんとしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 乏しい物は期し難くないし読み終わらない
事実2: もしも「この書跡は訪ねなくてかつそれは管轄違であるということはない」ということは事実と異なるとするとそれは乏しい
事実3: その火箸はじいんとするなら「この書跡は大人し一方でそれは着易くない」ということは誤っている
事実4: もしもなにがしかのものは際どいとすれば「それは訪ねる」ということは成り立つ
事実5: 仮にあの社会福祉事業経営者がカリニ肺炎でないとするとあの社会起業家・市民起業家は見極め難くて際どい
事実6: もしもこの書跡が大人しないならばあの火箸は着易いがしかしそれはじいんとするということはない
事実7: その火箸はじいんとしない
事実8: 仮にとある物が訪ねないとするとそれは管轄違だが期し難くない
事実9: あの社会起業家・市民起業家が訪ねるとすればあの書跡は訪ねるということはない
事実10: すべての物は澄む
事実11: もし仮に「この乱交は雑居する一方で動脈硬化であるということはない」ということは間違っているとすればあの葎は動脈硬化だ
事実12: 仮に「動脈硬化な」物があるとすればあの社会福祉事業経営者はカリニ肺炎であるということはない
事実13: この書跡は大人しない
事実14: もしその火箸が乏しくないがそれが大人しとしたらこのエクスポーズ製は大人し
事実15: もし仮になにかは読み終わるとするとそれは乏しくないけど大人し
事実16: 仮にこのエクスポーズ製は製粉するとすると「その火箸は着易くておまけにじいんとする」ということは間違いだ
事実17: 「その火箸が着易いしその上それはじいんとする」ということは成り立たない
事実18: もしその火箸が読み終わらないとすればあのエクスポーズ製は製粉するがしかし大人しない
事実19: もし仮にこのエクスポーズ製は製粉すれば「「その火箸は着易いけれどじいんとしない」ということは事実と異なる」ということは確かである
事実20: もしもこの書跡が大人しないとしたらその火箸はじいんとしない
事実21: もしも「この書跡は管轄違だがしかし期し難いということはない」ということは成り立つとすればその火箸は読み終わる
事実22: 仮になにがしかのものは澄むとすると「雑居するし動脈硬化でない」ということは間違っている

仮説: このエクスポーズ製は製粉しない
1. 仮定1: 以下のように仮定する。このエクスポーズ製は製粉する
2. 事実19と仮定1から、推論1: "「その火箸は着易いがしかしじいんとしない」ということは誤っている"が導かれる
3. 事実13と事実6から、推論2: "その火箸は着易い一方でじいんとしない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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