「そのアンジオテンシン変換酵素は想定しない」ということは確かだ
fact1: その天体は弱し fact2: もし仮に何らかのものが堪え得るとすると芳しくない fact3: 何かは御読み下さるかあるいはそれは賞金であるかまたは両方ともだとすれば「それは因縁だということはない」ということは正しい fact4: この日本人自身は糖尿病透析患者であるし治療共同体だ fact5: あの検討委員会は園芸家でないとすると「あの見境は糖尿病透析患者であるししかも治療共同体だ」ということは間違いである fact6: もしもある物が糖尿病透析患者なら園芸家である fact7: 「与力するということはない」物はある fact8: もしあの見境は削除出来ないならば「「「そのアンジオテンシン変換酵素は園芸家で治療共同体だ」ということは本当だ」ということは間違いだ」ということは真実だ fact9: もし仮になんらかのものがマーカーペンだとすれば想定する fact10: もし仮になんらかのものが園芸家であるか削除出来るかまたは両方であるならそれは全国展開しない fact11: もし仮にその出家が運悪いとするとそのアンジオテンシン変換酵素はマーカーペンである fact12: もしもなにがしかのものは治療共同体でないとすると「「最低点であるしそれは糖尿病透析患者だ」ということは確かである」ということは誤っている fact13: 何かは御宜しい fact14: もし「その出家は最低点で糖尿病透析患者だ」ということは偽だとするとこの日本人自身は最低点でない fact15: もし「「全国展開しない」ということは成り立つ」ものがあるならその出家は運悪い fact16: 仮にこの日本人自身は治療共同体であるならそれは運悪いということはない fact17: もし仮にこの日本人自身が想定すればそのアンジオテンシン変換酵素は想定しない
fact4 -> int1: この日本人自身は糖尿病透析患者である; fact6 -> int2: この日本人自身は糖尿病透析患者であるならそれは園芸家だ; int1 & int2 -> int3: この日本人自身は園芸家である; int3 -> int4: この日本人自身は園芸家であるか削除出来るかもしくはどちらもだ; fact10 -> int5: もし「この日本人自身は園芸家であるか削除出来るかどちらもである」ということは真実であるとすると全国展開しない; int4 & int5 -> int6: この日本人自身は全国展開しない; int6 -> int7: 「全国展開しない」物はある; int7 & fact15 -> int8: その出家は運悪い; int8 & fact11 -> int9: そのアンジオテンシン変換酵素はマーカーペンである; fact9 -> int10: もしもそのアンジオテンシン変換酵素はマーカーペンであるならばそれは想定する; int9 & int10 -> hypothesis;
なにがしかの物は最低点だということはない
fact18 -> int11: 仮にその出家は治療共同体であるということはないとしたら「それは最低点でそれは糖尿病透析患者である」ということは間違いである;
$facts$ = fact1: その天体は弱し fact2: もし仮に何らかのものが堪え得るとすると芳しくない fact3: 何かは御読み下さるかあるいはそれは賞金であるかまたは両方ともだとすれば「それは因縁だということはない」ということは正しい fact4: この日本人自身は糖尿病透析患者であるし治療共同体だ fact5: あの検討委員会は園芸家でないとすると「あの見境は糖尿病透析患者であるししかも治療共同体だ」ということは間違いである fact6: もしもある物が糖尿病透析患者なら園芸家である fact7: 「与力するということはない」物はある fact8: もしあの見境は削除出来ないならば「「「そのアンジオテンシン変換酵素は園芸家で治療共同体だ」ということは本当だ」ということは間違いだ」ということは真実だ fact9: もし仮になんらかのものがマーカーペンだとすれば想定する fact10: もし仮になんらかのものが園芸家であるか削除出来るかまたは両方であるならそれは全国展開しない fact11: もし仮にその出家が運悪いとするとそのアンジオテンシン変換酵素はマーカーペンである fact12: もしもなにがしかのものは治療共同体でないとすると「「最低点であるしそれは糖尿病透析患者だ」ということは確かである」ということは誤っている fact13: 何かは御宜しい fact14: もし「その出家は最低点で糖尿病透析患者だ」ということは偽だとするとこの日本人自身は最低点でない fact15: もし「「全国展開しない」ということは成り立つ」ものがあるならその出家は運悪い fact16: 仮にこの日本人自身は治療共同体であるならそれは運悪いということはない fact17: もし仮にこの日本人自身が想定すればそのアンジオテンシン変換酵素は想定しない ; $hypothesis$ = 「そのアンジオテンシン変換酵素は想定しない」ということは確かだ ; $proof$ = 
fact4 -> int1: この日本人自身は糖尿病透析患者である; fact6 -> int2: この日本人自身は糖尿病透析患者であるならそれは園芸家だ; int1 & int2 -> int3: この日本人自身は園芸家である; int3 -> int4: この日本人自身は園芸家であるか削除出来るかもしくはどちらもだ; fact10 -> int5: もし「この日本人自身は園芸家であるか削除出来るかどちらもである」ということは真実であるとすると全国展開しない; int4 & int5 -> int6: この日本人自身は全国展開しない; int6 -> int7: 「全国展開しない」物はある; int7 & fact15 -> int8: その出家は運悪い; int8 & fact11 -> int9: そのアンジオテンシン変換酵素はマーカーペンである; fact9 -> int10: もしもそのアンジオテンシン変換酵素はマーカーペンであるならばそれは想定する; int9 & int10 -> hypothesis; __DISPROVED__
事実1: その天体は弱し
事実2: もし仮に何らかのものが堪え得るとすると芳しくない
事実3: 何かは御読み下さるかあるいはそれは賞金であるかまたは両方ともだとすれば「それは因縁だということはない」ということは正しい
事実4: この日本人自身は糖尿病透析患者であるし治療共同体だ
事実5: あの検討委員会は園芸家でないとすると「あの見境は糖尿病透析患者であるししかも治療共同体だ」ということは間違いである
事実6: もしもある物が糖尿病透析患者なら園芸家である
事実7: 「与力するということはない」物はある
事実8: もしあの見境は削除出来ないならば「「「そのアンジオテンシン変換酵素は園芸家で治療共同体だ」ということは本当だ」ということは間違いだ」ということは真実だ
事実9: もし仮になんらかのものがマーカーペンだとすれば想定する
事実10: もし仮になんらかのものが園芸家であるか削除出来るかまたは両方であるならそれは全国展開しない
事実11: もし仮にその出家が運悪いとするとそのアンジオテンシン変換酵素はマーカーペンである
事実12: もしもなにがしかのものは治療共同体でないとすると「「最低点であるしそれは糖尿病透析患者だ」ということは確かである」ということは誤っている
事実13: 何かは御宜しい
事実14: もし「その出家は最低点で糖尿病透析患者だ」ということは偽だとするとこの日本人自身は最低点でない
事実15: もし「「全国展開しない」ということは成り立つ」ものがあるならその出家は運悪い
事実16: 仮にこの日本人自身は治療共同体であるならそれは運悪いということはない
事実17: もし仮にこの日本人自身が想定すればそのアンジオテンシン変換酵素は想定しない

仮説: 「そのアンジオテンシン変換酵素は想定しない」ということは確かだ
1. 事実4から、推論1: "この日本人自身は糖尿病透析患者である"が導かれる
2. 事実6から、推論2: "この日本人自身は糖尿病透析患者であるならそれは園芸家だ"が導かれる
3. 推論1と推論2から、推論3: "この日本人自身は園芸家である"が導かれる
4. 推論3から、推論4: "この日本人自身は園芸家であるか削除出来るかもしくはどちらもだ"が導かれる
5. 事実10から、推論5: "もし「この日本人自身は園芸家であるか削除出来るかどちらもである」ということは真実であるとすると全国展開しない"が導かれる
6. 推論4と推論5から、推論6: "この日本人自身は全国展開しない"が導かれる
7. 推論6から、推論7: "「全国展開しない」物はある"が導かれる
8. 推論7と事実15から、推論8: "その出家は運悪い"が導かれる
9. 推論8と事実11から、推論9: "そのアンジオテンシン変換酵素はマーカーペンである"が導かれる
10. 事実9から、推論10: "もしもそのアンジオテンシン変換酵素はマーカーペンであるならばそれは想定する"が導かれる
11. 推論9と推論10から、仮説が否定される

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