あの発生中期は生ぜないがそれは通院する
fact1: その長命住宅は万両でないとしたら「「あの発生中期は生ぜないけど通院する」ということは偽でない」ということは間違っている fact2: あのおじゃんは通院する fact3: 「あの発生中期は蒸し上げなくてまた万両でない」ということは成り立たない fact4: 仮に「「あの発生中期は生ずるけど通院しない」ということは間違いだ」ということは成り立つとすればあの長命住宅は危うしない fact5: 仮に「「あの発生中期は蒸し上げなくてまたそれは底深くない」ということは偽だ」ということは誤りでないとすれば「その長命住宅は万両である」ということは誤りであるということはない fact6: 「「その長命住宅はしかつめらしくなくて蒸し上げない」ということは事実と異なる」ということは正しい fact7: 「おっかしい」ものはある fact8: この荏胡麻は蒸し上げるということはない一方でペーパーバックである fact9: もし仮に「「おっかしい」ということは真実である」ものはあるとしたら「その修道女達は人らしいということはないかあるいは押っ付ける」ということは間違いだ fact10: 「その修道女達は人らしくないかあるいはそれは押っ付けるかもしくは両方だ」ということは成り立たないとするとその対外関係は人らしくない fact11: もし仮に何かは万両でないとしたら「生ぜないが通院する」ということは成り立たない fact12: その長命住宅がしかつめらしいならあの発生中期は危うし fact13: 「その長命住宅はしかつめらしいがしかし蒸し上げない」ということは成り立たない fact14: 「あの発生中期は万両だ」ということは本当だ fact15: 「あの発生中期は底深い」ということは事実である fact16: 言葉自体は筆頭だ fact17: もしも何らかのものは態とらしいということはないならば「それはむさくるしいが遣り易くない」ということは偽だ fact18: あの発生中期は通院するしそれに底深い fact19: もしもその対外関係が人らしいということはないとしたらそれは意匠化する一方で態とらしくない fact20: もし「その対外関係はむさくるしいけれど遣り易くない」ということは誤っているならばあの長命住宅は言葉自体である fact21: 仮に「その長命住宅はしかつめらしくないし蒸し上げない」ということは誤りだとするとあの発生中期は危うし fact22: もしも何かは筆頭であるとすれば「それは底深くない一方で危うし」ということは間違っている fact23: その長命住宅は生ずる fact24: もし仮にあるものは万両であるしまた危うしとすると「生ぜない」ということは本当である
fact21 & fact6 -> int1: あの発生中期は危うし; int1 & fact14 -> int2: あの発生中期は万両であるし危うし; fact24 -> int3: 仮にあの発生中期は万両で危うしとすればそれは生ぜない; int2 & int3 -> int4: あの発生中期は生ぜない; fact18 -> int5: あの発生中期は通院する; int4 & int5 -> hypothesis;
「あの発生中期は生ぜないけれど通院する」ということは誤りである
fact28 -> int6: もしもあの発生中期は万両でないならば「それは生ぜないし更にそれは通院する」ということは事実と異なる; fact29 -> int7: もし仮にその長命住宅は筆頭なら「底深くなくてそれは危うし」ということは間違っている; fact26 -> int8: もし仮にその長命住宅が言葉自体だとするとそれは筆頭である; fact27 -> int9: もし「その対外関係は態とらしいということはない」ということは事実ならば「「それはむさくるしいししかも遣り易くない」ということは成り立つ」ということは確かでない; fact31 & fact33 -> int10: 「「その修道女達は人らしくないか押っ付けるか両方だ」ということは確かだ」ということは誤りである; fact32 & int10 -> int11: その対外関係は人らしくない; fact30 & int11 -> int12: その対外関係は意匠化するが態とらしくない; int12 -> int13: その対外関係は態とらしくない; int9 & int13 -> int14: 「「その対外関係はむさくるしいけれど遣り易くない」ということは事実と異なる」ということは正しい; fact25 & int14 -> int15: その長命住宅は言葉自体である; int8 & int15 -> int16: その長命住宅は筆頭である; int7 & int16 -> int17: 「「その長命住宅は底深くない一方で危うし」ということは確かである」ということは成り立たない; int17 -> int18: 「「「底深くないし加えて危うし」ということは本当だ」ということは嘘である」物はある;
$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: もし仮にあるものは万両であるしまた危うしとすると「生ぜない」ということは本当である ; $hypothesis$ = あの発生中期は生ぜないがそれは通院する ; $proof$ = 
fact21 & fact6 -> int1: あの発生中期は危うし; int1 & fact14 -> int2: あの発生中期は万両であるし危うし; fact24 -> int3: 仮にあの発生中期は万両で危うしとすればそれは生ぜない; int2 & int3 -> int4: あの発生中期は生ぜない; fact18 -> int5: あの発生中期は通院する; int4 & int5 -> 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: もし仮にあるものは万両であるしまた危うしとすると「生ぜない」ということは本当である

仮説: あの発生中期は生ぜないがそれは通院する
1. 事実21と事実6から、推論1: "あの発生中期は危うし"が導かれる
2. 推論1と事実14から、推論2: "あの発生中期は万両であるし危うし"が導かれる
3. 事実24から、推論3: "仮にあの発生中期は万両で危うしとすればそれは生ぜない"が導かれる
4. 推論2と推論3から、推論4: "あの発生中期は生ぜない"が導かれる
5. 事実18から、推論5: "あの発生中期は通院する"が導かれる
6. 推論4と推論5から、仮説が導かれる

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