「仮にその木工作品は聞こえ難いとすると「その中小都市はちっこくないしおまけに振り立てない」ということは成り立たない」ということは間違いである
fact1: 運営コストは振り立てないがちっこい fact2: もしあの入国審査が振り立てないがしかしちっこいとすればあの木工作品はちっこい fact3: 「「ちっこくない」ということは成り立つ」物はある fact4: もし仮にとある物はちっこくないし振り立てないならば「この再生医学は運営コストである」ということは成り立つ fact5: もし仮にその木工作品は聞こえ難いとしたら「その中小都市はちっこくないけれど振り立てる」ということは成り立たない fact6: それは滴下筒であるしその上オピオイド受容体であるということはないという物はない fact7: もしもその木工作品がちっこいならばこの再生医学は願い出ないししかもそれは料理研究家でない fact8: 仮に「その諸般は滴下筒だけれどオピオイド受容体でない」ということは成り立つということはないならばそれは滴下筒でない fact9: もし「この再生医学は運営コストである」ということは本当ならその木工作品は聞こえ難くない fact10: なんらかのものは振り立てない fact11: その中小都市はちっこくない fact12: あるものはちっこいけれどそれは振り立てない fact13: 「その中小都市はちっこいけど振り立てるということはない」ということは嘘だ fact14: もしも何らかの物が聞こえ難いならば運営コストだ fact15: もしもなにがしかの物は二次元配列であるとしたら聞こえ難い fact16: もしもこの再生医学は運営コストだとすれば「その木工作品は聞こえ難い」ということは正しい fact17: もしも「とある物は滴下筒でない」ということは成り立つとしたらあの入国審査は二次元配列である fact18: もしもその木工作品は聞こえ難いとしたら「その中小都市はちっこい一方でそれは振り立てるということはない」ということは成り立つということはない fact19: 「その一Ｃはちっこい」ということは真実だ fact20: もし仮にその木工作品が聞こえ難いとしたらその中小都市はちっこくないししかも振り立てない fact21: とある物はちっこくないが振り立てる
void -> assump1: 以下のように仮定する。その中小都市はちっこくないし振り立てない; assump1 -> int1: 何かはちっこいということはなくて振り立てない; int1 & fact4 -> int2: この再生医学は運営コストだ; int2 & fact9 -> int3: その木工作品は聞こえ難くない; void -> assump2: 以下のように仮定する。その木工作品は聞こえ難い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その中小都市はちっこいということはなくて更に振り立てない」ということは誤っている; [assump2] & int5 -> hypothesis;
なんらかのものは願い出ないしそれに料理研究家でない
fact27 -> int6: もし仮にあの入国審査は運営コストであるなら「それは振り立てないがしかしちっこい」ということは成り立つ; fact23 -> int7: もしもあの入国審査が聞こえ難いならば運営コストだ; fact25 -> int8: 仮にあの入国審査は二次元配列であるとすればそれは聞こえ難い; fact26 -> int9: 「その諸般は滴下筒だけれどオピオイド受容体だということはない」ということは誤っている; fact28 & int9 -> int10: その諸般は滴下筒でない; int10 -> int11: 「滴下筒でない」ものはある; int11 & fact22 -> int12: あの入国審査は二次元配列だ; int8 & int12 -> int13: あの入国審査は聞こえ難い; int7 & int13 -> int14: あの入国審査は運営コストである; int6 & int14 -> int15: あの入国審査は振り立てない一方でちっこい; fact29 & int15 -> int16: その木工作品はちっこい; fact24 & int16 -> int17: この再生医学は願い出るということはないししかも料理研究家でない; int17 -> hypothesis;
$facts$ = fact1: 運営コストは振り立てないがちっこい fact2: もしあの入国審査が振り立てないがしかしちっこいとすればあの木工作品はちっこい fact3: 「「ちっこくない」ということは成り立つ」物はある fact4: もし仮にとある物はちっこくないし振り立てないならば「この再生医学は運営コストである」ということは成り立つ fact5: もし仮にその木工作品は聞こえ難いとしたら「その中小都市はちっこくないけれど振り立てる」ということは成り立たない fact6: それは滴下筒であるしその上オピオイド受容体であるということはないという物はない fact7: もしもその木工作品がちっこいならばこの再生医学は願い出ないししかもそれは料理研究家でない fact8: 仮に「その諸般は滴下筒だけれどオピオイド受容体でない」ということは成り立つということはないならばそれは滴下筒でない fact9: もし「この再生医学は運営コストである」ということは本当ならその木工作品は聞こえ難くない fact10: なんらかのものは振り立てない fact11: その中小都市はちっこくない fact12: あるものはちっこいけれどそれは振り立てない fact13: 「その中小都市はちっこいけど振り立てるということはない」ということは嘘だ fact14: もしも何らかの物が聞こえ難いならば運営コストだ fact15: もしもなにがしかの物は二次元配列であるとしたら聞こえ難い fact16: もしもこの再生医学は運営コストだとすれば「その木工作品は聞こえ難い」ということは正しい fact17: もしも「とある物は滴下筒でない」ということは成り立つとしたらあの入国審査は二次元配列である fact18: もしもその木工作品は聞こえ難いとしたら「その中小都市はちっこい一方でそれは振り立てるということはない」ということは成り立つということはない fact19: 「その一Ｃはちっこい」ということは真実だ fact20: もし仮にその木工作品が聞こえ難いとしたらその中小都市はちっこくないししかも振り立てない fact21: とある物はちっこくないが振り立てる ; $hypothesis$ = 「仮にその木工作品は聞こえ難いとすると「その中小都市はちっこくないしおまけに振り立てない」ということは成り立たない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。その中小都市はちっこくないし振り立てない; assump1 -> int1: 何かはちっこいということはなくて振り立てない; int1 & fact4 -> int2: この再生医学は運営コストだ; int2 & fact9 -> int3: その木工作品は聞こえ難くない; void -> assump2: 以下のように仮定する。その木工作品は聞こえ難い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その中小都市はちっこいということはなくて更に振り立てない」ということは誤っている; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: 運営コストは振り立てないがちっこい
事実2: もしあの入国審査が振り立てないがしかしちっこいとすればあの木工作品はちっこい
事実3: 「「ちっこくない」ということは成り立つ」物はある
事実4: もし仮にとある物はちっこくないし振り立てないならば「この再生医学は運営コストである」ということは成り立つ
事実5: もし仮にその木工作品は聞こえ難いとしたら「その中小都市はちっこくないけれど振り立てる」ということは成り立たない
事実6: それは滴下筒であるしその上オピオイド受容体であるということはないという物はない
事実7: もしもその木工作品がちっこいならばこの再生医学は願い出ないししかもそれは料理研究家でない
事実8: 仮に「その諸般は滴下筒だけれどオピオイド受容体でない」ということは成り立つということはないならばそれは滴下筒でない
事実9: もし「この再生医学は運営コストである」ということは本当ならその木工作品は聞こえ難くない
事実10: なんらかのものは振り立てない
事実11: その中小都市はちっこくない
事実12: あるものはちっこいけれどそれは振り立てない
事実13: 「その中小都市はちっこいけど振り立てるということはない」ということは嘘だ
事実14: もしも何らかの物が聞こえ難いならば運営コストだ
事実15: もしもなにがしかの物は二次元配列であるとしたら聞こえ難い
事実16: もしもこの再生医学は運営コストだとすれば「その木工作品は聞こえ難い」ということは正しい
事実17: もしも「とある物は滴下筒でない」ということは成り立つとしたらあの入国審査は二次元配列である
事実18: もしもその木工作品は聞こえ難いとしたら「その中小都市はちっこい一方でそれは振り立てるということはない」ということは成り立つということはない
事実19: 「その一Ｃはちっこい」ということは真実だ
事実20: もし仮にその木工作品が聞こえ難いとしたらその中小都市はちっこくないししかも振り立てない
事実21: とある物はちっこくないが振り立てる

仮説: 「仮にその木工作品は聞こえ難いとすると「その中小都市はちっこくないしおまけに振り立てない」ということは成り立たない」ということは間違いである
1. 仮定1: 以下のように仮定する。その中小都市はちっこくないし振り立てない
2. 仮定1から、推論1: "何かはちっこいということはなくて振り立てない"が導かれる
3. 推論1と事実4から、推論2: "この再生医学は運営コストだ"が導かれる
4. 推論2と事実9から、推論3: "その木工作品は聞こえ難くない"が導かれる
5. 仮定2: 以下のように仮定する。その木工作品は聞こえ難い
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「その中小都市はちっこいということはなくて更に振り立てない」ということは誤っている"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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