「もしも入り辛くないならば「ポコでないしバースペースでない」ということは事実である」ものはある
fact1: 「もし助け起こさないならば恥ずかしということはないしまた代替処理でない」ものはある fact2: もしもあの高架構造物が入り辛くないならバースペースでない fact3: 「知悉しないとすると運び入れなくてしかも渋くない」ものはある fact4: もし仮にあの高架構造物が入り辛くないとするとそれはポコである一方でバースペースでない fact5: 「仮に起き易いなら心許ないということはないしその上計上しない」ものはある fact6: 仮にとある物は南台でないとしたらそれは柿渋仕上げでなくて加えて横列だということはない fact7: 「仮に表出障害だということはないならば若しない」ものはある fact8: 「もしも入り辛くないとすればポコでない」ものはある fact9: 「もし仮に若しないとすれば折り畳めない」ものはある fact10: 「「もし仮に入り辛くないとしたらポコだけれどバースペースでない」物はある」ということは本当である fact11: 仮にあの高架構造物が断定し難くないとすればテルグ語であるということはないしそれは抹殺しない fact12: 「もし松竹梅でないとしたら歩き辛くないし加えて混み合わない」物はある fact13: もしもあの高架構造物が入り辛くないとするとそれはポコでなくておまけにバースペースでない fact14: 「実現しないとすれば打ち負かすということはないし疑い様でない」ものはある fact15: 「旨しないとすれば甚だしくないし犯し難くない」ものはある fact16: 「もしもそつ無くないとしたらみっともなくない」ものはある fact17: もし仮にあの高架構造物は入り辛いとすれば「ポコでないしそれにそれはバースペースでない」ということは真実だ fact18: 「もし小気味良いならば醜くないしまた松竹梅でない」ものはある fact19: 「もし仮に「入り辛い」ということは偽なら「ポコでないがバースペースである」ということは確かな」ものはある
fact13 -> hypothesis;
fact13 -> hypothesis;
「もし仮に「南台でない」ということは真実であるならば柿渋仕上げであるということはなくて横列でない」ものはある
fact20 -> int1: もし仮にその自己同一性が南台だということはないとすると柿渋仕上げでなくて加えて横列でない; int1 -> hypothesis;
$facts$ = fact1: 「もし助け起こさないならば恥ずかしということはないしまた代替処理でない」ものはある fact2: もしもあの高架構造物が入り辛くないならバースペースでない fact3: 「知悉しないとすると運び入れなくてしかも渋くない」ものはある fact4: もし仮にあの高架構造物が入り辛くないとするとそれはポコである一方でバースペースでない fact5: 「仮に起き易いなら心許ないということはないしその上計上しない」ものはある fact6: 仮にとある物は南台でないとしたらそれは柿渋仕上げでなくて加えて横列だということはない fact7: 「仮に表出障害だということはないならば若しない」ものはある fact8: 「もしも入り辛くないとすればポコでない」ものはある fact9: 「もし仮に若しないとすれば折り畳めない」ものはある fact10: 「「もし仮に入り辛くないとしたらポコだけれどバースペースでない」物はある」ということは本当である fact11: 仮にあの高架構造物が断定し難くないとすればテルグ語であるということはないしそれは抹殺しない fact12: 「もし松竹梅でないとしたら歩き辛くないし加えて混み合わない」物はある fact13: もしもあの高架構造物が入り辛くないとするとそれはポコでなくておまけにバースペースでない fact14: 「実現しないとすれば打ち負かすということはないし疑い様でない」ものはある fact15: 「旨しないとすれば甚だしくないし犯し難くない」ものはある fact16: 「もしもそつ無くないとしたらみっともなくない」ものはある fact17: もし仮にあの高架構造物は入り辛いとすれば「ポコでないしそれにそれはバースペースでない」ということは真実だ fact18: 「もし小気味良いならば醜くないしまた松竹梅でない」ものはある fact19: 「もし仮に「入り辛い」ということは偽なら「ポコでないがバースペースである」ということは確かな」ものはある ; $hypothesis$ = 「もしも入り辛くないならば「ポコでないしバースペースでない」ということは事実である」ものはある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 「もし助け起こさないならば恥ずかしということはないしまた代替処理でない」ものはある
事実2: もしもあの高架構造物が入り辛くないならバースペースでない
事実3: 「知悉しないとすると運び入れなくてしかも渋くない」ものはある
事実4: もし仮にあの高架構造物が入り辛くないとするとそれはポコである一方でバースペースでない
事実5: 「仮に起き易いなら心許ないということはないしその上計上しない」ものはある
事実6: 仮にとある物は南台でないとしたらそれは柿渋仕上げでなくて加えて横列だということはない
事実7: 「仮に表出障害だということはないならば若しない」ものはある
事実8: 「もしも入り辛くないとすればポコでない」ものはある
事実9: 「もし仮に若しないとすれば折り畳めない」ものはある
事実10: 「「もし仮に入り辛くないとしたらポコだけれどバースペースでない」物はある」ということは本当である
事実11: 仮にあの高架構造物が断定し難くないとすればテルグ語であるということはないしそれは抹殺しない
事実12: 「もし松竹梅でないとしたら歩き辛くないし加えて混み合わない」物はある
事実13: もしもあの高架構造物が入り辛くないとするとそれはポコでなくておまけにバースペースでない
事実14: 「実現しないとすれば打ち負かすということはないし疑い様でない」ものはある
事実15: 「旨しないとすれば甚だしくないし犯し難くない」ものはある
事実16: 「もしもそつ無くないとしたらみっともなくない」ものはある
事実17: もし仮にあの高架構造物は入り辛いとすれば「ポコでないしそれにそれはバースペースでない」ということは真実だ
事実18: 「もし小気味良いならば醜くないしまた松竹梅でない」ものはある
事実19: 「もし仮に「入り辛い」ということは偽なら「ポコでないがバースペースである」ということは確かな」ものはある

仮説: 「もしも入り辛くないならば「ポコでないしバースペースでない」ということは事実である」ものはある
1. 事実13から、仮説が導かれる

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