この授乳婦はとろいということはない
fact1: 「程無い」物があればこのチャンスは了知出来ない fact2: この授乳婦は同定出来ない fact3: すべてはレンタル出来ない fact4: 「この授乳婦はたじろぐ」ということは確かである fact5: この年齢差はとろい fact6: もしこの授乳婦がとろいならばあの統制会社は衣料品だ fact7: その統制会社は傾斜屋根でない fact8: あらゆるものは衣料品でない fact9: この授乳婦は撥ねる fact10: その統制会社は日本映画発達史であるしそれに程無い fact11: その統制会社はとろくない fact12: もしもその統制会社がとろいならこの授乳婦は衣料品である fact13: もしもなにかは了知出来ないとすれば「衣料品であるしとろい」ということは確かでない fact14: あの予算主義はとろい fact15: もし仮に「日本映画発達史でない」物があるならばあの授乳婦は程無い fact16: この電源ラインは衣料品でない fact17: すべては引き合わせだということはない fact18: 仮になにがしかの物は程無いとしたら「それは了知出来ないしまたそれは衣料品でない」ということは偽である fact19: その統制会社は移動し易くない fact20: あのノーベル経済学賞はとろくない fact21: この授乳婦は意見しない fact22: 「その統制会社は雛である」ということは真実である
void -> assump1: 以下のように仮定する。この授乳婦はとろい; fact6 & assump1 -> int1: その統制会社は衣料品である; fact8 -> int2: その統制会社は衣料品でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「この授乳婦はとろい」ということは成り立つ
fact24 -> int4: もしその統制会社は程無いとしたら「了知出来ないし加えてそれは衣料品でない」ということは成り立たない; fact23 -> int5: その統制会社は程無い; int4 & int5 -> int6: 「その統制会社は了知出来なくてそれは衣料品でない」ということは間違いである; int6 -> int7: 「「了知出来るということはないしそれに衣料品でない」ということは本当でない」ものはある;
$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: 以下のように仮定する。この授乳婦はとろい; fact6 & assump1 -> int1: その統制会社は衣料品である; fact8 -> 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. 事実6と仮定1から、推論1: "その統制会社は衣料品である"が導かれる
3. 事実8から、推論2: "その統制会社は衣料品でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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