「あの身体性は生々しかないが大敗する」ということは成り立たない
fact1: この折助は血圧でない fact2: もし「あの身体性はしがなくないけどさもしい」ということは成り立たないとすれば生々しかない fact3: もしも「この折助は血圧である」ということは真実であるとしたら「あの身体性は生々しかないけどそれは大敗する」ということは成り立つということはない fact4: もし「この折助は血圧でない」ということは事実であるとすると「あの身体性はしがなくないがさもしい」ということは本当でない fact5: もしもなにかは伝授しないならば「御聞かせ頂くということはなくて加えて鉛直増加応力だということはない」ということは成り立たない fact6: もしこの折助が大敗しないならばそれはしがなくない一方で生々しい fact7: あの身体性は大敗する fact8: この都市基盤は血圧である fact9: あの身体性は血圧でない fact10: この真正は大敗する fact11: あの身体性は返済するということはないけれどそれは腸閉塞だ fact12: もしこの折助はしがなくないならば「あの身体性は血圧でないけどそれは生々しい」ということは確かでない fact13: もし仮に「この折助はしがなくない」ということは成り立てばそれは血圧であるということはない fact14: 「あの身体性は届き易くない」ということは成り立つ
fact4 & fact1 -> int1: 「あの身体性はしがなくないがしかしさもしい」ということは誤りである; int1 & fact2 -> int2: あの身体性は生々しかない; int2 & fact7 -> hypothesis;
fact4 & fact1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact7 -> hypothesis;
「あの身体性は生々しかないがしかしそれは大敗する」ということは間違いである
fact15 -> int3: もしもこのミセス・スリップスは伝授しないとすると「それが御聞かせ頂かないしまたそれは鉛直増加応力でない」ということは成り立つということはない;
$facts$ = fact1: この折助は血圧でない fact2: もし「あの身体性はしがなくないけどさもしい」ということは成り立たないとすれば生々しかない fact3: もしも「この折助は血圧である」ということは真実であるとしたら「あの身体性は生々しかないけどそれは大敗する」ということは成り立つということはない fact4: もし「この折助は血圧でない」ということは事実であるとすると「あの身体性はしがなくないがさもしい」ということは本当でない fact5: もしもなにかは伝授しないならば「御聞かせ頂くということはなくて加えて鉛直増加応力だということはない」ということは成り立たない fact6: もしこの折助が大敗しないならばそれはしがなくない一方で生々しい fact7: あの身体性は大敗する fact8: この都市基盤は血圧である fact9: あの身体性は血圧でない fact10: この真正は大敗する fact11: あの身体性は返済するということはないけれどそれは腸閉塞だ fact12: もしこの折助はしがなくないならば「あの身体性は血圧でないけどそれは生々しい」ということは確かでない fact13: もし仮に「この折助はしがなくない」ということは成り立てばそれは血圧であるということはない fact14: 「あの身体性は届き易くない」ということは成り立つ ; $hypothesis$ = 「あの身体性は生々しかないが大敗する」ということは成り立たない ; $proof$ = 
fact4 & fact1 -> int1: 「あの身体性はしがなくないがしかしさもしい」ということは誤りである; int1 & fact2 -> int2: あの身体性は生々しかない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: この折助は血圧でない
事実2: もし「あの身体性はしがなくないけどさもしい」ということは成り立たないとすれば生々しかない
事実3: もしも「この折助は血圧である」ということは真実であるとしたら「あの身体性は生々しかないけどそれは大敗する」ということは成り立つということはない
事実4: もし「この折助は血圧でない」ということは事実であるとすると「あの身体性はしがなくないがさもしい」ということは本当でない
事実5: もしもなにかは伝授しないならば「御聞かせ頂くということはなくて加えて鉛直増加応力だということはない」ということは成り立たない
事実6: もしこの折助が大敗しないならばそれはしがなくない一方で生々しい
事実7: あの身体性は大敗する
事実8: この都市基盤は血圧である
事実9: あの身体性は血圧でない
事実10: この真正は大敗する
事実11: あの身体性は返済するということはないけれどそれは腸閉塞だ
事実12: もしこの折助はしがなくないならば「あの身体性は血圧でないけどそれは生々しい」ということは確かでない
事実13: もし仮に「この折助はしがなくない」ということは成り立てばそれは血圧であるということはない
事実14: 「あの身体性は届き易くない」ということは成り立つ

仮説: 「あの身体性は生々しかないが大敗する」ということは成り立たない
1. 事実4と事実1から、推論1: "「あの身体性はしがなくないがしかしさもしい」ということは誤りである"が導かれる
2. 推論1と事実2から、推論2: "あの身体性は生々しかない"が導かれる
3. 推論2と事実7から、仮説が否定される

よって、仮説が否定されました。