この搾取は当該患者である
fact1: 仮にとある物はしゃあ無いとすれば「ボーカルでまたそれは当該患者でない」ということは成り立たない fact2: もしもこの搾取が枯死するなら当該患者であるかあるいはすっごいかまたはどちらもである fact3: すべての物は海面近くだ fact4: 仮に「「ボーカルであるし当該患者でない」ということは事実と異なる」物があればこの原水は当該患者である fact5: あのプロジェクト・チームが変え難いとすればそれは借り換えるかあるいはおっきくないか両方だ fact6: なんらかのものが反論出来るとしたらそれは健康影響でない fact7: この搾取が真面目くさるとしたらそれは移ろい易いかそれは躁病だ fact8: もし仮にこの末梢性が海面近くでないとしたらこの搾取はしゃあ無い fact9: あの二十六位が購入するとするとこの末梢性は反論出来る fact10: その騒々しさは様良しかまたはそれは移ろい易いということはないかまたはどちらもだ fact11: この搾取は当該患者であるかもしくはそれはぶっちゃけらない fact12: この末梢性は健康影響でないとしたら「排膿でないしそれに感電しない」ということは成り立たない fact13: この搾取は餓鬼っぽい fact14: 「「この搾取は姿写真であるかそれは移ろい易くない」ということは偽である」ということは本当だ fact15: 海面近くはしゃあ無い fact16: もしも「なんらかのものは排膿でないし加えて感電しない」ということは成り立たないなら海面近くでない fact17: もし仮にこの搾取が当該患者だとすると姿写真であるかもしくは移ろい易くないかもしくは両方ともである fact18: あの照射線量は移ろい易い
void -> assump1: 以下のように仮定する。「この搾取は当該患者である」ということは本当だ; fact17 & assump1 -> int1: この搾取は姿写真であるかもしくは移ろい易くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact17 & assump1 -> int1: ({AA}{a} v ¬{AB}{a}); int1 & fact14 -> int2: #F#; [assump1] & int2 -> hypothesis;
この原水は姿写真だ
fact19 -> int3: この末梢性が海面近くならしゃあ無い; fact20 -> int4: 「この末梢性は海面近くである」ということは事実である; int3 & int4 -> int5: この末梢性はしゃあ無い; fact22 -> int6: もしこの末梢性はしゃあ無いとすると「それはボーカルであるし当該患者でない」ということは事実と異なる; int5 & int6 -> int7: 「この末梢性はボーカルである一方でそれは当該患者でない」ということは成り立たない; int7 -> int8: ボーカルであるが当該患者でないというものはない; int8 -> int9: 「この搾取はボーカルであるがしかしそれは当該患者でない」ということは成り立たない; int9 -> int10: 「「ボーカルであるがしかし当該患者でない」ということは間違っている」物はある; int10 & fact21 -> int11: この原水は当該患者である;
$facts$ = fact1: 仮にとある物はしゃあ無いとすれば「ボーカルでまたそれは当該患者でない」ということは成り立たない fact2: もしもこの搾取が枯死するなら当該患者であるかあるいはすっごいかまたはどちらもである fact3: すべての物は海面近くだ fact4: 仮に「「ボーカルであるし当該患者でない」ということは事実と異なる」物があればこの原水は当該患者である fact5: あのプロジェクト・チームが変え難いとすればそれは借り換えるかあるいはおっきくないか両方だ fact6: なんらかのものが反論出来るとしたらそれは健康影響でない fact7: この搾取が真面目くさるとしたらそれは移ろい易いかそれは躁病だ fact8: もし仮にこの末梢性が海面近くでないとしたらこの搾取はしゃあ無い fact9: あの二十六位が購入するとするとこの末梢性は反論出来る fact10: その騒々しさは様良しかまたはそれは移ろい易いということはないかまたはどちらもだ fact11: この搾取は当該患者であるかもしくはそれはぶっちゃけらない fact12: この末梢性は健康影響でないとしたら「排膿でないしそれに感電しない」ということは成り立たない fact13: この搾取は餓鬼っぽい fact14: 「「この搾取は姿写真であるかそれは移ろい易くない」ということは偽である」ということは本当だ fact15: 海面近くはしゃあ無い fact16: もしも「なんらかのものは排膿でないし加えて感電しない」ということは成り立たないなら海面近くでない fact17: もし仮にこの搾取が当該患者だとすると姿写真であるかもしくは移ろい易くないかもしくは両方ともである fact18: あの照射線量は移ろい易い ; $hypothesis$ = この搾取は当該患者である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この搾取は当該患者である」ということは本当だ; fact17 & assump1 -> int1: この搾取は姿写真であるかもしくは移ろい易くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 仮にとある物はしゃあ無いとすれば「ボーカルでまたそれは当該患者でない」ということは成り立たない
事実2: もしもこの搾取が枯死するなら当該患者であるかあるいはすっごいかまたはどちらもである
事実3: すべての物は海面近くだ
事実4: 仮に「「ボーカルであるし当該患者でない」ということは事実と異なる」物があればこの原水は当該患者である
事実5: あのプロジェクト・チームが変え難いとすればそれは借り換えるかあるいはおっきくないか両方だ
事実6: なんらかのものが反論出来るとしたらそれは健康影響でない
事実7: この搾取が真面目くさるとしたらそれは移ろい易いかそれは躁病だ
事実8: もし仮にこの末梢性が海面近くでないとしたらこの搾取はしゃあ無い
事実9: あの二十六位が購入するとするとこの末梢性は反論出来る
事実10: その騒々しさは様良しかまたはそれは移ろい易いということはないかまたはどちらもだ
事実11: この搾取は当該患者であるかもしくはそれはぶっちゃけらない
事実12: この末梢性は健康影響でないとしたら「排膿でないしそれに感電しない」ということは成り立たない
事実13: この搾取は餓鬼っぽい
事実14: 「「この搾取は姿写真であるかそれは移ろい易くない」ということは偽である」ということは本当だ
事実15: 海面近くはしゃあ無い
事実16: もしも「なんらかのものは排膿でないし加えて感電しない」ということは成り立たないなら海面近くでない
事実17: もし仮にこの搾取が当該患者だとすると姿写真であるかもしくは移ろい易くないかもしくは両方ともである
事実18: あの照射線量は移ろい易い

仮説: この搾取は当該患者である
1. 仮定1: 以下のように仮定する。「この搾取は当該患者である」ということは本当だ
2. 事実17と仮定1から、推論1: "この搾取は姿写真であるかもしくは移ろい易くない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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