「あの約二百人が網膜色素上皮でないならあの研究開発者は書き並べるししかも病院長だ」ということは成り立つということはない
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: 「あの研究開発者は網膜色素上皮だ」ということは本当であるとするとあの約二百人は書き並べる fact27: 仮にとある物はしょっぱくないとしたら「むくつけししさらに演習である」ということは成り立たない
void -> assump1: 以下のように仮定する。あの約二百人は網膜色素上皮でない; fact24 & assump1 -> int1: あの研究開発者はむくつけしない; int1 & fact22 -> int2: あの研究開発者はむくつけしないが開け抜ける; int2 & fact14 -> int3: あの研究開発者はしょっぱい; int3 & fact6 -> int4: あの研究開発者は演習である; int4 & fact4 -> int5: あの研究開発者は殺菌する; int5 & fact20 -> int6: あの研究開発者は書き並べる; int6 & fact9 -> int7: あの研究開発者は書き並べるし病院長だ; [assump1] & int7 -> hypothesis;
あの約二百人は書き並べる
fact29 -> int8: もしも「「あの研究開発者は網膜色素上皮でないし開け抜けない」ということは成り立つ」ということは誤っていれば網膜色素上皮である; fact31 -> int9: 仮に「その胃食道逆流はしょっぱくない」ということは成り立つとすると「むくつけしししかもそれは演習である」ということは偽である; fact33 -> int10: 「その胃食道逆流は病院長だ」ということは成り立つ; fact35 & fact34 -> int11: その胃食道逆流は殺菌しないかもしくは利用され易くないか両方ともだ; fact28 & int11 -> int12: その胃食道逆流は殺菌しない; int10 & int12 -> int13: その胃食道逆流は病院長であるが殺菌しない;
$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: 「あの研究開発者は網膜色素上皮だ」ということは本当であるとするとあの約二百人は書き並べる fact27: 仮にとある物はしょっぱくないとしたら「むくつけししさらに演習である」ということは成り立たない ; $hypothesis$ = 「あの約二百人が網膜色素上皮でないならあの研究開発者は書き並べるししかも病院長だ」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの約二百人は網膜色素上皮でない; fact24 & assump1 -> int1: あの研究開発者はむくつけしない; int1 & fact22 -> int2: あの研究開発者はむくつけしないが開け抜ける; int2 & fact14 -> int3: あの研究開発者はしょっぱい; int3 & fact6 -> int4: あの研究開発者は演習である; int4 & fact4 -> int5: あの研究開発者は殺菌する; int5 & fact20 -> int6: あの研究開発者は書き並べる; int6 & fact9 -> int7: あの研究開発者は書き並べるし病院長だ; [assump1] & int7 -> hypothesis; __DISPROVED__
事実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: 「あの研究開発者は網膜色素上皮だ」ということは本当であるとするとあの約二百人は書き並べる
事実27: 仮にとある物はしょっぱくないとしたら「むくつけししさらに演習である」ということは成り立たない

仮説: 「あの約二百人が網膜色素上皮でないならあの研究開発者は書き並べるししかも病院長だ」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。あの約二百人は網膜色素上皮でない
2. 事実24と仮定1から、推論1: "あの研究開発者はむくつけしない"が導かれる
3. 推論1と事実22から、推論2: "あの研究開発者はむくつけしないが開け抜ける"が導かれる
4. 推論2と事実14から、推論3: "あの研究開発者はしょっぱい"が導かれる
5. 推論3と事実6から、推論4: "あの研究開発者は演習である"が導かれる
6. 推論4と事実4から、推論5: "あの研究開発者は殺菌する"が導かれる
7. 推論5と事実20から、推論6: "あの研究開発者は書き並べる"が導かれる
8. 推論6と事実9から、推論7: "あの研究開発者は書き並べるし病院長だ"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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