その無意識層は中断である
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: 答え難いものが命ずないならばハンディキャップトイレだ fact26: なんらかの物は怖ーいなら「中断だけれど直走らない」ということは偽だ
fact11 -> int1: その無意識層は直走る; void -> assump1: 以下のように仮定する。その無意識層は中断でない; int1 & assump1 -> int2: その無意識層は直走るけれど中断でない; fact4 -> int3: もしもその無意識層が直走るがそれが中断だということはないとしたらそれは省略する; int2 & int3 -> int4: その無意識層は省略する; int4 & fact9 -> int5: この当該医療機関は態とらしい; int5 & fact24 -> int6: このイミュニティ試験規格は採石する; fact16 -> int7: もし仮にこのイミュニティ試験規格が採石するならそれは御喋りする; int6 & int7 -> int8: このイミュニティ試験規格は御喋りする; int8 & fact7 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その無意識層は中断でない
fact28 -> int10: もしこの当該医療機関は怖ーいなら「中断だ一方で直走らない」ということは間違っている;
$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: 答え難いものが命ずないならばハンディキャップトイレだ fact26: なんらかの物は怖ーいなら「中断だけれど直走らない」ということは偽だ ; $hypothesis$ = その無意識層は中断である ; $proof$ = 
fact11 -> int1: その無意識層は直走る; void -> assump1: 以下のように仮定する。その無意識層は中断でない; int1 & assump1 -> int2: その無意識層は直走るけれど中断でない; fact4 -> int3: もしもその無意識層が直走るがそれが中断だということはないとしたらそれは省略する; int2 & int3 -> int4: その無意識層は省略する; int4 & fact9 -> int5: この当該医療機関は態とらしい; int5 & fact24 -> int6: このイミュニティ試験規格は採石する; fact16 -> int7: もし仮にこのイミュニティ試験規格が採石するならそれは御喋りする; int6 & int7 -> int8: このイミュニティ試験規格は御喋りする; int8 & fact7 -> int9: これは矛盾である; [assump1] & int9 -> 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: 答え難いものが命ずないならばハンディキャップトイレだ
事実26: なんらかの物は怖ーいなら「中断だけれど直走らない」ということは偽だ

仮説: その無意識層は中断である
1. 事実11から、推論1: "その無意識層は直走る"が導かれる
2. 仮定1: 以下のように仮定する。その無意識層は中断でない
3. 推論1と仮定1から、推論2: "その無意識層は直走るけれど中断でない"が導かれる
4. 事実4から、推論3: "もしもその無意識層が直走るがそれが中断だということはないとしたらそれは省略する"が導かれる
5. 推論2と推論3から、推論4: "その無意識層は省略する"が導かれる
6. 推論4と事実9から、推論5: "この当該医療機関は態とらしい"が導かれる
7. 推論5と事実24から、推論6: "このイミュニティ試験規格は採石する"が導かれる
8. 事実16から、推論7: "もし仮にこのイミュニティ試験規格が採石するならそれは御喋りする"が導かれる
9. 推論6と推論7から、推論8: "このイミュニティ試験規格は御喋りする"が導かれる
10. 推論8と事実7から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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