「あの法整備は得られ難いということはない一方で築き難い」ということは誤りである
fact1: もし仮にその建物外壁は他愛無くないなら「あの小国寡民は他愛無いが契約締結上だということはない」ということは誤りである fact2: もし仮にその建物外壁が麗しいとしたらあの法整備は得られ難いということはない一方でそれは築き難い fact3: あの左後方は迷い難い fact4: もしも「あるものは縮れるか唾棄すかもしくは両方である」ということは誤りだとすればそれは他愛無いということはない fact5: 「あの法整備は得られ難いししかも築き難い」ということは誤っている fact6: もしもその建物外壁は契約締結上でないとすると「あの小国寡民は契約締結上だが唾棄すらない」ということは間違っている fact7: あの法整備は鉄砲玉でない fact8: 仮にこの老父は拒絶するとすれば「あの法整備は得られ難いし更に築き難い」ということは事実と異なる fact9: もしあの発生主義会計が緑表紙教科書であるとしたらこの老父は拒絶するがそれは契約締結上でない fact10: その建物外壁は縮れない fact11: 仮に「麗しい」物はあるなら「その建物外壁は縮れるかそれは唾棄す」ということは偽だ fact12: 仮に「あの小国寡民は他愛無くなくてまた契約締結上でない」ということは本当でないとすればこの老父は拒絶する fact13: もしこの老父は拒絶するなら「あの法整備は得られ難いということはないが築き難い」ということは成り立つということはない fact14: 「麗しい」物はある fact15: もし何らかのものは切り難いならば「尊いしその上緑表紙教科書でない」ということは成り立たない fact16: 「あの小国寡民は縮れる一方で唾棄すらない」ということは正しいとすると「その建物外壁は麗しい」ということは成り立つ fact17: そのシビックは組み込めるしまた現成公案である fact18: もしあの左後方が迷い難いとしたらたどたどしい fact19: もし「とある物は尊い一方でそれは緑表紙教科書でない」ということは成り立たないとしたらそれは緑表紙教科書だ fact20: もしあの左後方はたどたどしいなら「「そのシビックはたどたどしくない」ということは成り立たない」ということは正しい fact21: もし仮に「麗しい」ものがあるならばあの建物外壁は縮れない fact22: 「あの小国寡民は他愛無くないけれど契約締結上だ」ということは確かでない fact23: もし仮にその建物外壁は他愛無くないなら「あの小国寡民は他愛無くなくて契約締結上でない」ということは誤っている
fact14 & fact11 -> int1: 「「その建物外壁は縮れるかあるいはそれは唾棄す」ということは誤りである」ということは成り立つ; fact4 -> int2: もし仮に「その建物外壁は縮れるかもしくは唾棄すか両方だ」ということは成り立たないとしたら他愛無くない; int1 & int2 -> int3: その建物外壁は他愛無くない; int3 & fact23 -> int4: 「あの小国寡民は他愛無くなくてそれは契約締結上であるということはない」ということは成り立たない; int4 & fact12 -> int5: この老父は拒絶する; int5 & fact13 -> hypothesis;
あの法整備は得られ難いということはないがしかし築き難い
fact26 -> int6: もし仮に「あの発生主義会計は尊いがしかしそれは緑表紙教科書でない」ということは偽だとしたら緑表紙教科書だ; fact24 -> int7: 仮に「あの発生主義会計は切り難くない」ということは真実であるということはないとすれば「尊いけれど緑表紙教科書でない」ということは誤っている; fact25 -> int8: そのシビックは組み込める; fact31 & fact27 -> int9: あの左後方はたどたどしい; fact29 & int9 -> int10: そのシビックはたどたどしい; int8 & int10 -> int11: そのシビックは組み込めるしたどたどしい; int11 -> int12: 「組み込めるしそれにたどたどしい」物はある;
$facts$ = fact1: もし仮にその建物外壁は他愛無くないなら「あの小国寡民は他愛無いが契約締結上だということはない」ということは誤りである fact2: もし仮にその建物外壁が麗しいとしたらあの法整備は得られ難いということはない一方でそれは築き難い fact3: あの左後方は迷い難い fact4: もしも「あるものは縮れるか唾棄すかもしくは両方である」ということは誤りだとすればそれは他愛無いということはない fact5: 「あの法整備は得られ難いししかも築き難い」ということは誤っている fact6: もしもその建物外壁は契約締結上でないとすると「あの小国寡民は契約締結上だが唾棄すらない」ということは間違っている fact7: あの法整備は鉄砲玉でない fact8: 仮にこの老父は拒絶するとすれば「あの法整備は得られ難いし更に築き難い」ということは事実と異なる fact9: もしあの発生主義会計が緑表紙教科書であるとしたらこの老父は拒絶するがそれは契約締結上でない fact10: その建物外壁は縮れない fact11: 仮に「麗しい」物はあるなら「その建物外壁は縮れるかそれは唾棄す」ということは偽だ fact12: 仮に「あの小国寡民は他愛無くなくてまた契約締結上でない」ということは本当でないとすればこの老父は拒絶する fact13: もしこの老父は拒絶するなら「あの法整備は得られ難いということはないが築き難い」ということは成り立つということはない fact14: 「麗しい」物はある fact15: もし何らかのものは切り難いならば「尊いしその上緑表紙教科書でない」ということは成り立たない fact16: 「あの小国寡民は縮れる一方で唾棄すらない」ということは正しいとすると「その建物外壁は麗しい」ということは成り立つ fact17: そのシビックは組み込めるしまた現成公案である fact18: もしあの左後方が迷い難いとしたらたどたどしい fact19: もし「とある物は尊い一方でそれは緑表紙教科書でない」ということは成り立たないとしたらそれは緑表紙教科書だ fact20: もしあの左後方はたどたどしいなら「「そのシビックはたどたどしくない」ということは成り立たない」ということは正しい fact21: もし仮に「麗しい」ものがあるならばあの建物外壁は縮れない fact22: 「あの小国寡民は他愛無くないけれど契約締結上だ」ということは確かでない fact23: もし仮にその建物外壁は他愛無くないなら「あの小国寡民は他愛無くなくて契約締結上でない」ということは誤っている ; $hypothesis$ = 「あの法整備は得られ難いということはない一方で築き難い」ということは誤りである ; $proof$ = 
fact14 & fact11 -> int1: 「「その建物外壁は縮れるかあるいはそれは唾棄す」ということは誤りである」ということは成り立つ; fact4 -> int2: もし仮に「その建物外壁は縮れるかもしくは唾棄すか両方だ」ということは成り立たないとしたら他愛無くない; int1 & int2 -> int3: その建物外壁は他愛無くない; int3 & fact23 -> int4: 「あの小国寡民は他愛無くなくてそれは契約締結上であるということはない」ということは成り立たない; int4 & fact12 -> int5: この老父は拒絶する; int5 & fact13 -> 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: もし仮にその建物外壁は他愛無くないなら「あの小国寡民は他愛無くなくて契約締結上でない」ということは誤っている

仮説: 「あの法整備は得られ難いということはない一方で築き難い」ということは誤りである
1. 事実14と事実11から、推論1: "「「その建物外壁は縮れるかあるいはそれは唾棄す」ということは誤りである」ということは成り立つ"が導かれる
2. 事実4から、推論2: "もし仮に「その建物外壁は縮れるかもしくは唾棄すか両方だ」ということは成り立たないとしたら他愛無くない"が導かれる
3. 推論1と推論2から、推論3: "その建物外壁は他愛無くない"が導かれる
4. 推論3と事実23から、推論4: "「あの小国寡民は他愛無くなくてそれは契約締結上であるということはない」ということは成り立たない"が導かれる
5. 推論4と事実12から、推論5: "この老父は拒絶する"が導かれる
6. 推論5と事実13から、仮説が導かれる

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