この人足は蕩尽しない
fact1: もしも「この交尾は誘き寄せるけれど及ぼし兼ねらない」ということは誤りだとするとこの人足は蕩尽する fact2: この贈収賄は及ぼし兼ねる fact3: この交尾は蕩尽しないけれどそれは烏帽子ガイだ fact4: もしこの棄民が説教するかもしくは用い易いかあるいはどちらもならばそのヘルスケアは走り易くない fact5: この交尾は用い易いとしたら「この人足はざわつかない」ということは成り立つ fact6: もし仮に「とあるものは味気ないし加えて集中度である」ということは事実と異なるなら「走り易くない」ということは成り立つ fact7: この地方政治は誘き寄せるということはない fact8: 仮にあのハッチングがざわつくとしたらこの交尾は遣る瀬無い fact9: 仮にこの人足は誘き寄せないけれど蕩尽すれば「この交尾は及ぼし兼ねる」ということは事実である fact10: もしも遣る瀬無い物がざわつかないとすればその主部は及ぼし兼ねらない fact11: もしそのヘルスケアがざわつくとするとあのハッチングはざわつく fact12: 仮になにがしかの物は遣る瀬無いなら「それが誘き寄せるしその上それは及ぼし兼ねらない」ということは成り立たない fact13: 「この人足は味気ないしかつそれは集中度である」ということは偽だ fact14: この交尾は未練がましかない fact15: この交尾は及ぼし兼ねらない fact16: 仮にこの交尾が未練がましくらないとしたらそれは用い易いかあるいは説教するか両方ともだ fact17: 走り易くない物は遣る瀬無いけれど測定器でない fact18: この人足は誘き寄せるということはない fact19: もし仮にこの交尾が説教するとするとこの人足はざわつかない
void -> assump1: 以下のように仮定する。この人足は蕩尽する; fact18 & assump1 -> int1: この人足は誘き寄せないがしかしそれは蕩尽する; int1 & fact9 -> int2: この交尾は及ぼし兼ねる; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この人足は蕩尽する
fact21 -> int4: もし仮にこの交尾は遣る瀬無いなら「それは誘き寄せるが及ぼし兼ねらない」ということは間違いである;
$facts$ = fact1: もしも「この交尾は誘き寄せるけれど及ぼし兼ねらない」ということは誤りだとするとこの人足は蕩尽する fact2: この贈収賄は及ぼし兼ねる fact3: この交尾は蕩尽しないけれどそれは烏帽子ガイだ fact4: もしこの棄民が説教するかもしくは用い易いかあるいはどちらもならばそのヘルスケアは走り易くない fact5: この交尾は用い易いとしたら「この人足はざわつかない」ということは成り立つ fact6: もし仮に「とあるものは味気ないし加えて集中度である」ということは事実と異なるなら「走り易くない」ということは成り立つ fact7: この地方政治は誘き寄せるということはない fact8: 仮にあのハッチングがざわつくとしたらこの交尾は遣る瀬無い fact9: 仮にこの人足は誘き寄せないけれど蕩尽すれば「この交尾は及ぼし兼ねる」ということは事実である fact10: もしも遣る瀬無い物がざわつかないとすればその主部は及ぼし兼ねらない fact11: もしそのヘルスケアがざわつくとするとあのハッチングはざわつく fact12: 仮になにがしかの物は遣る瀬無いなら「それが誘き寄せるしその上それは及ぼし兼ねらない」ということは成り立たない fact13: 「この人足は味気ないしかつそれは集中度である」ということは偽だ fact14: この交尾は未練がましかない fact15: この交尾は及ぼし兼ねらない fact16: 仮にこの交尾が未練がましくらないとしたらそれは用い易いかあるいは説教するか両方ともだ fact17: 走り易くない物は遣る瀬無いけれど測定器でない fact18: この人足は誘き寄せるということはない fact19: もし仮にこの交尾が説教するとするとこの人足はざわつかない ; $hypothesis$ = この人足は蕩尽しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この人足は蕩尽する; fact18 & assump1 -> int1: この人足は誘き寄せないがしかしそれは蕩尽する; int1 & fact9 -> int2: この交尾は及ぼし兼ねる; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「この交尾は誘き寄せるけれど及ぼし兼ねらない」ということは誤りだとするとこの人足は蕩尽する
事実2: この贈収賄は及ぼし兼ねる
事実3: この交尾は蕩尽しないけれどそれは烏帽子ガイだ
事実4: もしこの棄民が説教するかもしくは用い易いかあるいはどちらもならばそのヘルスケアは走り易くない
事実5: この交尾は用い易いとしたら「この人足はざわつかない」ということは成り立つ
事実6: もし仮に「とあるものは味気ないし加えて集中度である」ということは事実と異なるなら「走り易くない」ということは成り立つ
事実7: この地方政治は誘き寄せるということはない
事実8: 仮にあのハッチングがざわつくとしたらこの交尾は遣る瀬無い
事実9: 仮にこの人足は誘き寄せないけれど蕩尽すれば「この交尾は及ぼし兼ねる」ということは事実である
事実10: もしも遣る瀬無い物がざわつかないとすればその主部は及ぼし兼ねらない
事実11: もしそのヘルスケアがざわつくとするとあのハッチングはざわつく
事実12: 仮になにがしかの物は遣る瀬無いなら「それが誘き寄せるしその上それは及ぼし兼ねらない」ということは成り立たない
事実13: 「この人足は味気ないしかつそれは集中度である」ということは偽だ
事実14: この交尾は未練がましかない
事実15: この交尾は及ぼし兼ねらない
事実16: 仮にこの交尾が未練がましくらないとしたらそれは用い易いかあるいは説教するか両方ともだ
事実17: 走り易くない物は遣る瀬無いけれど測定器でない
事実18: この人足は誘き寄せるということはない
事実19: もし仮にこの交尾が説教するとするとこの人足はざわつかない

仮説: この人足は蕩尽しない
1. 仮定1: 以下のように仮定する。この人足は蕩尽する
2. 事実18と仮定1から、推論1: "この人足は誘き寄せないがしかしそれは蕩尽する"が導かれる
3. 推論1と事実9から、推論2: "この交尾は及ぼし兼ねる"が導かれる
4. 推論2と事実15から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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