もしその前頭葉が敢うならばその足切りは生み出し続ける
fact1: もし仮にその足切りは敢うなら「その前頭葉は逆上せ上がる」ということは正しい fact2: 「このローマ車は結晶質であるし様良し」ということは嘘である fact3: もし「ある物は結晶質でしかも様良し」ということは事実と異なればそれは様良くない fact4: 仮に「その前頭葉は敢うということはないけどそれは生み出し続ける」ということは確かでないとするとその足切りは死亡原因である fact5: その足切りは死亡原因だ fact6: もし仮にその足切りが死亡原因だとすればあの前頭葉は生み出し続ける fact7: 「その前頭葉は死亡原因であるしそれに逆上せ上がる」ということは嘘である fact8: その前頭葉は敢うとすると「それは死亡原因で加えてそれは逆上せ上がる」ということは成り立たない fact9: 仮に「「その足切りは逆上せ上がらないけど生み出し続ける」ということは事実である」ということは誤っているとすれば「その前頭葉は敢う」ということは成り立つ fact10: 様良くない物は三年内であるかもしくは太いかまたは両方である fact11: もしもこのローマ車が三年内であるとしたらその足切りは三年内だ fact12: もしその足切りは死亡原因なら「生み出し続けないし更にそれは逆上せ上がる」ということは間違いだ fact13: 「この後光は事故車両であるということはないがしかしそれは敢う」ということは成り立たない fact14: その前頭葉は野生椎茸である fact15: もし「その足切りは生み出し続けないがしかし死亡原因である」ということは成り立たないとしたら「その前頭葉は敢う」ということは確かである fact16: もし仮に「その足切りは生み出し続けないけれどそれは逆上せ上がる」ということは偽だとしたらその前頭葉は敢う fact17: 「三年内は恋しいかあるいは生み出し続けない」ということは本当だ fact18: 仮に「その前頭葉は死亡原因でない一方で逆上せ上がる」ということは事実と異なればその足切りは生み出し続ける fact19: もしその前頭葉が死亡原因であるとすればあの足切りは生み出し続ける fact20: もし仮にその足切りが三年内だとすればその前頭葉は三年内だ fact21: もしもその前頭葉は敢うならば「それは死亡原因でなくてそれにそれは逆上せ上がる」ということは成り立たない
void -> assump1: 以下のように仮定する。その前頭葉は敢う; fact21 & assump1 -> int1: 「その前頭葉は死亡原因でないけれど逆上せ上がる」ということは成り立たない; int1 & fact18 -> int2: その足切りは生み出し続ける; [assump1] & int2 -> hypothesis;
このネイションは逆上せ上がる
fact25 -> int3: もしその前頭葉が三年内であるならばそれは恋しいかそれは生み出し続けるということはないかもしくはどちらもである; fact26 -> int4: もしもこのローマ車が様良しということはないなら三年内であるかまたは太いか両方だ; fact23 -> int5: 「このローマ車は結晶質だし様良し」ということは誤っているとしたらそれは様良くない; int5 & fact22 -> int6: このローマ車は様良くない; int4 & int6 -> int7: このローマ車は三年内であるかまたは太いか両方ともだ;
$facts$ = fact1: もし仮にその足切りは敢うなら「その前頭葉は逆上せ上がる」ということは正しい fact2: 「このローマ車は結晶質であるし様良し」ということは嘘である fact3: もし「ある物は結晶質でしかも様良し」ということは事実と異なればそれは様良くない fact4: 仮に「その前頭葉は敢うということはないけどそれは生み出し続ける」ということは確かでないとするとその足切りは死亡原因である fact5: その足切りは死亡原因だ fact6: もし仮にその足切りが死亡原因だとすればあの前頭葉は生み出し続ける fact7: 「その前頭葉は死亡原因であるしそれに逆上せ上がる」ということは嘘である fact8: その前頭葉は敢うとすると「それは死亡原因で加えてそれは逆上せ上がる」ということは成り立たない fact9: 仮に「「その足切りは逆上せ上がらないけど生み出し続ける」ということは事実である」ということは誤っているとすれば「その前頭葉は敢う」ということは成り立つ fact10: 様良くない物は三年内であるかもしくは太いかまたは両方である fact11: もしもこのローマ車が三年内であるとしたらその足切りは三年内だ fact12: もしその足切りは死亡原因なら「生み出し続けないし更にそれは逆上せ上がる」ということは間違いだ fact13: 「この後光は事故車両であるということはないがしかしそれは敢う」ということは成り立たない fact14: その前頭葉は野生椎茸である fact15: もし「その足切りは生み出し続けないがしかし死亡原因である」ということは成り立たないとしたら「その前頭葉は敢う」ということは確かである fact16: もし仮に「その足切りは生み出し続けないけれどそれは逆上せ上がる」ということは偽だとしたらその前頭葉は敢う fact17: 「三年内は恋しいかあるいは生み出し続けない」ということは本当だ fact18: 仮に「その前頭葉は死亡原因でない一方で逆上せ上がる」ということは事実と異なればその足切りは生み出し続ける fact19: もしその前頭葉が死亡原因であるとすればあの足切りは生み出し続ける fact20: もし仮にその足切りが三年内だとすればその前頭葉は三年内だ fact21: もしもその前頭葉は敢うならば「それは死亡原因でなくてそれにそれは逆上せ上がる」ということは成り立たない ; $hypothesis$ = もしその前頭葉が敢うならばその足切りは生み出し続ける ; $proof$ = 
void -> assump1: 以下のように仮定する。その前頭葉は敢う; fact21 & assump1 -> int1: 「その前頭葉は死亡原因でないけれど逆上せ上がる」ということは成り立たない; int1 & fact18 -> int2: その足切りは生み出し続ける; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にその足切りは敢うなら「その前頭葉は逆上せ上がる」ということは正しい
事実2: 「このローマ車は結晶質であるし様良し」ということは嘘である
事実3: もし「ある物は結晶質でしかも様良し」ということは事実と異なればそれは様良くない
事実4: 仮に「その前頭葉は敢うということはないけどそれは生み出し続ける」ということは確かでないとするとその足切りは死亡原因である
事実5: その足切りは死亡原因だ
事実6: もし仮にその足切りが死亡原因だとすればあの前頭葉は生み出し続ける
事実7: 「その前頭葉は死亡原因であるしそれに逆上せ上がる」ということは嘘である
事実8: その前頭葉は敢うとすると「それは死亡原因で加えてそれは逆上せ上がる」ということは成り立たない
事実9: 仮に「「その足切りは逆上せ上がらないけど生み出し続ける」ということは事実である」ということは誤っているとすれば「その前頭葉は敢う」ということは成り立つ
事実10: 様良くない物は三年内であるかもしくは太いかまたは両方である
事実11: もしもこのローマ車が三年内であるとしたらその足切りは三年内だ
事実12: もしその足切りは死亡原因なら「生み出し続けないし更にそれは逆上せ上がる」ということは間違いだ
事実13: 「この後光は事故車両であるということはないがしかしそれは敢う」ということは成り立たない
事実14: その前頭葉は野生椎茸である
事実15: もし「その足切りは生み出し続けないがしかし死亡原因である」ということは成り立たないとしたら「その前頭葉は敢う」ということは確かである
事実16: もし仮に「その足切りは生み出し続けないけれどそれは逆上せ上がる」ということは偽だとしたらその前頭葉は敢う
事実17: 「三年内は恋しいかあるいは生み出し続けない」ということは本当だ
事実18: 仮に「その前頭葉は死亡原因でない一方で逆上せ上がる」ということは事実と異なればその足切りは生み出し続ける
事実19: もしその前頭葉が死亡原因であるとすればあの足切りは生み出し続ける
事実20: もし仮にその足切りが三年内だとすればその前頭葉は三年内だ
事実21: もしもその前頭葉は敢うならば「それは死亡原因でなくてそれにそれは逆上せ上がる」ということは成り立たない

仮説: もしその前頭葉が敢うならばその足切りは生み出し続ける
1. 仮定1: 以下のように仮定する。その前頭葉は敢う
2. 事実21と仮定1から、推論1: "「その前頭葉は死亡原因でないけれど逆上せ上がる」ということは成り立たない"が導かれる
3. 推論1と事実18から、推論2: "その足切りは生み出し続ける"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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