この顔貌は発育出来ない
fact1: その強欲は掻い潜らない fact2: 仮にこの顔貌が発育出来るならそれは疎林である fact3: もし「この歩行訓練は疎林だ」ということは成り立つならキャッシュ化する fact4: このフス派戦争はキャッシュ化しない fact5: 「何らかのものはキャッシュ化しない」ということは真実であるならばあの五日前は時間節約でない fact6: もしなにかはコメントするとしたら時間節約だ fact7: もし仮にあの五日前がコメントしないとするとあの細則は薄切り肉だけれどコメントしない fact8: 疎林は薄切り肉だ fact9: もしもその強欲がキャッシュ化するとしたら薄切り肉だ fact10: 「キャッシュ化する」ものはある fact11: この歩行訓練は疎林でない fact12: その強欲が疎林でないならあの五日前は疎林でない fact13: あの五日前は遠征であるが生易しくない fact14: あの五日前はキャッシュ化するかもしくはそれは予測し得る fact15: この歩行訓練は忙しなくない fact16: その強欲は時間節約でない fact17: この歩行訓練はキャッシュ化しない fact18: もし仮にあの細則が薄切り肉だ一方で疎林でないとしたらこの顔貌は発育出来ない fact19: 海上基地問題は傍証する fact20: もしその強欲が疎林でないならあの細則は薄切り肉だがしかし疎林でない fact21: この歩行訓練は薄切り肉であるということはない fact22: 薄切り肉はコメントしなくてかつ時間節約でない fact23: もし仮にその強欲が疎林でないならばあの細則は薄切り肉だ fact24: もし「その強欲は疎林である」ということは成り立つとするとあの五日前はコメントする fact25: あの細則は薄切り肉である
void -> assump1: 以下のように仮定する。その強欲は疎林である; fact24 & assump1 -> int1: あの五日前はコメントする; fact6 -> int2: もしあの五日前がコメントするとすれば時間節約だ; int1 & int2 -> int3: あの五日前は時間節約である; fact17 -> int4: 「キャッシュ化しない」物はある; int4 & fact5 -> int5: あの五日前は時間節約でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その強欲は疎林でない; int7 & fact20 -> int8: あの細則は薄切り肉だ一方で疎林でない; int8 & fact18 -> hypothesis;
この顔貌は発育出来る
fact26 -> int9: もしその強欲が薄切り肉であるとするとコメントしなくてそれに時間節約でない;
$facts$ = fact1: その強欲は掻い潜らない fact2: 仮にこの顔貌が発育出来るならそれは疎林である fact3: もし「この歩行訓練は疎林だ」ということは成り立つならキャッシュ化する fact4: このフス派戦争はキャッシュ化しない fact5: 「何らかのものはキャッシュ化しない」ということは真実であるならばあの五日前は時間節約でない fact6: もしなにかはコメントするとしたら時間節約だ fact7: もし仮にあの五日前がコメントしないとするとあの細則は薄切り肉だけれどコメントしない fact8: 疎林は薄切り肉だ fact9: もしもその強欲がキャッシュ化するとしたら薄切り肉だ fact10: 「キャッシュ化する」ものはある fact11: この歩行訓練は疎林でない fact12: その強欲が疎林でないならあの五日前は疎林でない fact13: あの五日前は遠征であるが生易しくない fact14: あの五日前はキャッシュ化するかもしくはそれは予測し得る fact15: この歩行訓練は忙しなくない fact16: その強欲は時間節約でない fact17: この歩行訓練はキャッシュ化しない fact18: もし仮にあの細則が薄切り肉だ一方で疎林でないとしたらこの顔貌は発育出来ない fact19: 海上基地問題は傍証する fact20: もしその強欲が疎林でないならあの細則は薄切り肉だがしかし疎林でない fact21: この歩行訓練は薄切り肉であるということはない fact22: 薄切り肉はコメントしなくてかつ時間節約でない fact23: もし仮にその強欲が疎林でないならばあの細則は薄切り肉だ fact24: もし「その強欲は疎林である」ということは成り立つとするとあの五日前はコメントする fact25: あの細則は薄切り肉である ; $hypothesis$ = この顔貌は発育出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。その強欲は疎林である; fact24 & assump1 -> int1: あの五日前はコメントする; fact6 -> int2: もしあの五日前がコメントするとすれば時間節約だ; int1 & int2 -> int3: あの五日前は時間節約である; fact17 -> int4: 「キャッシュ化しない」物はある; int4 & fact5 -> int5: あの五日前は時間節約でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その強欲は疎林でない; int7 & fact20 -> int8: あの細則は薄切り肉だ一方で疎林でない; int8 & fact18 -> hypothesis; __PROVED__
事実1: その強欲は掻い潜らない
事実2: 仮にこの顔貌が発育出来るならそれは疎林である
事実3: もし「この歩行訓練は疎林だ」ということは成り立つならキャッシュ化する
事実4: このフス派戦争はキャッシュ化しない
事実5: 「何らかのものはキャッシュ化しない」ということは真実であるならばあの五日前は時間節約でない
事実6: もしなにかはコメントするとしたら時間節約だ
事実7: もし仮にあの五日前がコメントしないとするとあの細則は薄切り肉だけれどコメントしない
事実8: 疎林は薄切り肉だ
事実9: もしもその強欲がキャッシュ化するとしたら薄切り肉だ
事実10: 「キャッシュ化する」ものはある
事実11: この歩行訓練は疎林でない
事実12: その強欲が疎林でないならあの五日前は疎林でない
事実13: あの五日前は遠征であるが生易しくない
事実14: あの五日前はキャッシュ化するかもしくはそれは予測し得る
事実15: この歩行訓練は忙しなくない
事実16: その強欲は時間節約でない
事実17: この歩行訓練はキャッシュ化しない
事実18: もし仮にあの細則が薄切り肉だ一方で疎林でないとしたらこの顔貌は発育出来ない
事実19: 海上基地問題は傍証する
事実20: もしその強欲が疎林でないならあの細則は薄切り肉だがしかし疎林でない
事実21: この歩行訓練は薄切り肉であるということはない
事実22: 薄切り肉はコメントしなくてかつ時間節約でない
事実23: もし仮にその強欲が疎林でないならばあの細則は薄切り肉だ
事実24: もし「その強欲は疎林である」ということは成り立つとするとあの五日前はコメントする
事実25: あの細則は薄切り肉である

仮説: この顔貌は発育出来ない
1. 仮定1: 以下のように仮定する。その強欲は疎林である
2. 事実24と仮定1から、推論1: "あの五日前はコメントする"が導かれる
3. 事実6から、推論2: "もしあの五日前がコメントするとすれば時間節約だ"が導かれる
4. 推論1と推論2から、推論3: "あの五日前は時間節約である"が導かれる
5. 事実17から、推論4: "「キャッシュ化しない」物はある"が導かれる
6. 推論4と事実5から、推論5: "あの五日前は時間節約でない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その強欲は疎林でない"が導かれる
9. 推論7と事実20から、推論8: "あの細則は薄切り肉だ一方で疎林でない"が導かれる
10. 推論8と事実18から、仮説が導かれる

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