その空港経営は六航戦だ
fact1: もし仮に何らかのものは北端でないとすれば「成り得る」ということは成り立つ fact2: もしもある物は北端でないとしたら据え風呂でないが救いだ fact3: もしもあるものがらっしゃるということはないかそれが人身御供だということはないとするとあの運動中枢はらっしゃらない fact4: もし仮になにかは救いだしかつ元看護婦ならあの運動中枢は北端でない fact5: もしとあるものが朽ち果てるということはないけどそれが成り得るなら彫り上げる fact6: もし仮に「あの運動中枢はプレインフィールドだ」ということは本当であるとするとあの文字集合は据え風呂だ fact7: もしも何らかのものは指圧しないけど浅しなら前置詞である fact8: 「「元看護婦である」ということは正しい」物はある fact9: この同・前が据え風呂ならその空港経営は六航戦である fact10: 据え風呂は成り得ないけど彫り上げる fact11: もしあの文字集合が救いだということはないならその空港経営は六航戦でない fact12: あの文字集合は救いだ fact13: あの文字集合は元看護婦である fact14: もしあの運動中枢が彫り上げるとするとこの同・前は据え風呂である fact15: あの運動中枢が据え風呂ならばあの文字集合は据え風呂だ fact16: もし仮になんらかのものがらっしゃらないとしたらプレインフィールドであるかもしくは据え風呂である fact17: 何もかもはらっしゃらないかまたは人身御供でないかまたは両方ともである fact18: 何かは成り得るということはないけどそれが彫り上げるとすると朽ち果てるということはない fact19: なにがしかの物は救いである fact20: もしもあの運動中枢が北端でないとすれば成り得る fact21: その心室壁が元看護婦だし玄武だ fact22: なにかは北端でないならば朽ち果てないし成り得る fact23: もし仮に何かは朽ち果てないとすると北端であるか元看護婦であるということはない
fact12 & fact13 -> int1: あの文字集合は救いだししかも元看護婦だ; int1 -> int2: とあるものは救いであるしまた元看護婦である; int2 & fact4 -> int3: あの運動中枢は北端でない; fact22 -> int4: もしもあの運動中枢が北端だということはないなら朽ち果てるということはないしその上成り得る; int3 & int4 -> int5: あの運動中枢は朽ち果てない一方でそれは成り得る; fact5 -> int6: もしもあの運動中枢が朽ち果てないがしかしそれが成り得れば彫り上げる; int5 & int6 -> int7: あの運動中枢は彫り上げる; int7 & fact14 -> int8: この同・前は据え風呂である; int8 & fact9 -> hypothesis;
その空港経営は六航戦だということはない
fact28 -> int9: もしあの文字集合が朽ち果てないとすると北端であるかもしくは元看護婦でないかもしくは両方ともだ; fact26 -> int10: もし仮にあの文字集合が成り得ない一方でそれが彫り上げればそれは朽ち果てない; fact30 -> int11: 仮にあの文字集合が据え風呂ならば成り得るということはないけれど彫り上げる; fact32 -> int12: あの運動中枢はらっしゃらないなら「プレインフィールドであるか据え風呂であるかもしくは両方だ」ということは成り立つ; fact27 -> int13: この同・前はらっしゃらないかもしくは人身御供でない; int13 -> int14: 「らっしゃらないか人身御供でない」ものはある; int14 & fact25 -> int15: あの運動中枢はらっしゃらない; int12 & int15 -> int16: あの運動中枢はプレインフィールドであるかまたは据え風呂であるか両方ともである; int16 & fact24 & fact29 -> int17: あの文字集合は据え風呂である; int11 & int17 -> int18: あの文字集合は成り得るということはない一方でそれは彫り上げる; int10 & int18 -> int19: あの文字集合は朽ち果てない; int9 & int19 -> int20: あの文字集合は北端であるかまたは元看護婦でないかもしくは両方だ;
$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$ = 
fact12 & fact13 -> int1: あの文字集合は救いだししかも元看護婦だ; int1 -> int2: とあるものは救いであるしまた元看護婦である; int2 & fact4 -> int3: あの運動中枢は北端でない; fact22 -> int4: もしもあの運動中枢が北端だということはないなら朽ち果てるということはないしその上成り得る; int3 & int4 -> int5: あの運動中枢は朽ち果てない一方でそれは成り得る; fact5 -> int6: もしもあの運動中枢が朽ち果てないがしかしそれが成り得れば彫り上げる; int5 & int6 -> int7: あの運動中枢は彫り上げる; int7 & fact14 -> int8: この同・前は据え風呂である; int8 & fact9 -> 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. 事実12と事実13から、推論1: "あの文字集合は救いだししかも元看護婦だ"が導かれる
2. 推論1から、推論2: "とあるものは救いであるしまた元看護婦である"が導かれる
3. 推論2と事実4から、推論3: "あの運動中枢は北端でない"が導かれる
4. 事実22から、推論4: "もしもあの運動中枢が北端だということはないなら朽ち果てるということはないしその上成り得る"が導かれる
5. 推論3と推論4から、推論5: "あの運動中枢は朽ち果てない一方でそれは成り得る"が導かれる
6. 事実5から、推論6: "もしもあの運動中枢が朽ち果てないがしかしそれが成り得れば彫り上げる"が導かれる
7. 推論5と推論6から、推論7: "あの運動中枢は彫り上げる"が導かれる
8. 推論7と事実14から、推論8: "この同・前は据え風呂である"が導かれる
9. 推論8と事実9から、仮説が導かれる

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