仮にこの神経遮断薬が植物であるとしたらその市販薬は振動ドリルでなくておまけに過ごし易くない
fact1: 仮にこの神経遮断薬が植物だとしたら妻達であるかもしくは争奪戦であるか両方だ fact2: もし仮に「この神経遮断薬は植物である」ということは成り立つとしたら「その市販薬は振動ドリルでない」ということは真実だ fact3: もしこの神経遮断薬が植物であるとしたらその市販薬は振動ドリルでない一方で過ごし易い fact4: もしこの神経遮断薬は振動ドリルであるならそれは現出しないかもしくは腹膜であるか両方ともだ fact5: もしもなにがしかの物は腹膜でないとしたら振動ドリルだということはない fact6: もしこの神経遮断薬は妻達でないならば返り掛けない fact7: 仮にとある物は妻達でないとすれば「返り掛けない」ということは本当だ fact8: あるものが妻達でないかあるいはそれが争奪戦ならばそれは返り掛けるということはない fact9: もしもこの神経遮断薬が最終結果であるならあの短冊は植物でないがそれは返り掛ける fact10: もし何かは十分しないかもしくは出易いかまたはどちらもであるとすれば「それは相待たない」ということは事実だ fact11: その市販薬はスクワットでなくて加えて赤字法人でない fact12: もし仮に「その市販薬は腹膜だ」ということは真実だとしたら現出しないか返り掛けるかもしくはどちらもである fact13: この神経遮断薬が返り掛けないし最終結果であるということはないならばその市販薬は腹膜でない fact14: この神経遮断薬は現出する一方で最終結果でない fact15: その市販薬は振動ドリルでない fact16: もし何かは腹膜でないならばそれは振動ドリルだということはない一方で過ごし易い fact17: この神経遮断薬は妻達であるかあるいは争奪戦であるかもしくは両方ともだ fact18: その市販薬は振動ドリルでないがしかし過ごし易い fact19: もしその市販薬が腹膜でないとすればそれは振動ドリルでない fact20: この神経遮断薬は現出する fact21: もしなにかは腹膜でないならそれは振動ドリルでないしまた過ごし易くない fact22: もしその市販薬が腹膜だということはないとしたら振動ドリルでないが過ごし易い fact23: 仮にこの神経遮断薬は植物であるとすると妻達でないか争奪戦であるかもしくは両方ともだ
void -> assump1: 以下のように仮定する。この神経遮断薬は植物である; fact23 & assump1 -> int1: この神経遮断薬は妻達でないかあるいは争奪戦であるか両方ともである; fact8 -> int2: この神経遮断薬は妻達であるということはないかもしくは争奪戦であるかあるいは両方だとしたらそれは返り掛けない; int1 & int2 -> int3: 「この神経遮断薬は返り掛けない」ということは成り立つ; fact14 -> int4: 「この神経遮断薬は最終結果でない」ということは事実である; int3 & int4 -> int5: この神経遮断薬が返り掛けるということはないしその上最終結果でない; int5 & fact13 -> int6: その市販薬は腹膜でない; fact21 -> int7: 仮にその市販薬が腹膜でないとすれば振動ドリルでないし過ごし易くない; int6 & int7 -> int8: その市販薬は振動ドリルでなくて更にそれは過ごし易くない; [assump1] & int8 -> hypothesis;
あの短冊は植物でない
$facts$ = fact1: 仮にこの神経遮断薬が植物だとしたら妻達であるかもしくは争奪戦であるか両方だ fact2: もし仮に「この神経遮断薬は植物である」ということは成り立つとしたら「その市販薬は振動ドリルでない」ということは真実だ fact3: もしこの神経遮断薬が植物であるとしたらその市販薬は振動ドリルでない一方で過ごし易い fact4: もしこの神経遮断薬は振動ドリルであるならそれは現出しないかもしくは腹膜であるか両方ともだ fact5: もしもなにがしかの物は腹膜でないとしたら振動ドリルだということはない fact6: もしこの神経遮断薬は妻達でないならば返り掛けない fact7: 仮にとある物は妻達でないとすれば「返り掛けない」ということは本当だ fact8: あるものが妻達でないかあるいはそれが争奪戦ならばそれは返り掛けるということはない fact9: もしもこの神経遮断薬が最終結果であるならあの短冊は植物でないがそれは返り掛ける fact10: もし何かは十分しないかもしくは出易いかまたはどちらもであるとすれば「それは相待たない」ということは事実だ fact11: その市販薬はスクワットでなくて加えて赤字法人でない fact12: もし仮に「その市販薬は腹膜だ」ということは真実だとしたら現出しないか返り掛けるかもしくはどちらもである fact13: この神経遮断薬が返り掛けないし最終結果であるということはないならばその市販薬は腹膜でない fact14: この神経遮断薬は現出する一方で最終結果でない fact15: その市販薬は振動ドリルでない fact16: もし何かは腹膜でないならばそれは振動ドリルだということはない一方で過ごし易い fact17: この神経遮断薬は妻達であるかあるいは争奪戦であるかもしくは両方ともだ fact18: その市販薬は振動ドリルでないがしかし過ごし易い fact19: もしその市販薬が腹膜でないとすればそれは振動ドリルでない fact20: この神経遮断薬は現出する fact21: もしなにかは腹膜でないならそれは振動ドリルでないしまた過ごし易くない fact22: もしその市販薬が腹膜だということはないとしたら振動ドリルでないが過ごし易い fact23: 仮にこの神経遮断薬は植物であるとすると妻達でないか争奪戦であるかもしくは両方ともだ ; $hypothesis$ = 仮にこの神経遮断薬が植物であるとしたらその市販薬は振動ドリルでなくておまけに過ごし易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この神経遮断薬は植物である; fact23 & assump1 -> int1: この神経遮断薬は妻達でないかあるいは争奪戦であるか両方ともである; fact8 -> int2: この神経遮断薬は妻達であるということはないかもしくは争奪戦であるかあるいは両方だとしたらそれは返り掛けない; int1 & int2 -> int3: 「この神経遮断薬は返り掛けない」ということは成り立つ; fact14 -> int4: 「この神経遮断薬は最終結果でない」ということは事実である; int3 & int4 -> int5: この神経遮断薬が返り掛けるということはないしその上最終結果でない; int5 & fact13 -> int6: その市販薬は腹膜でない; fact21 -> int7: 仮にその市販薬が腹膜でないとすれば振動ドリルでないし過ごし易くない; int6 & int7 -> int8: その市販薬は振動ドリルでなくて更にそれは過ごし易くない; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 仮にこの神経遮断薬が植物だとしたら妻達であるかもしくは争奪戦であるか両方だ
事実2: もし仮に「この神経遮断薬は植物である」ということは成り立つとしたら「その市販薬は振動ドリルでない」ということは真実だ
事実3: もしこの神経遮断薬が植物であるとしたらその市販薬は振動ドリルでない一方で過ごし易い
事実4: もしこの神経遮断薬は振動ドリルであるならそれは現出しないかもしくは腹膜であるか両方ともだ
事実5: もしもなにがしかの物は腹膜でないとしたら振動ドリルだということはない
事実6: もしこの神経遮断薬は妻達でないならば返り掛けない
事実7: 仮にとある物は妻達でないとすれば「返り掛けない」ということは本当だ
事実8: あるものが妻達でないかあるいはそれが争奪戦ならばそれは返り掛けるということはない
事実9: もしもこの神経遮断薬が最終結果であるならあの短冊は植物でないがそれは返り掛ける
事実10: もし何かは十分しないかもしくは出易いかまたはどちらもであるとすれば「それは相待たない」ということは事実だ
事実11: その市販薬はスクワットでなくて加えて赤字法人でない
事実12: もし仮に「その市販薬は腹膜だ」ということは真実だとしたら現出しないか返り掛けるかもしくはどちらもである
事実13: この神経遮断薬が返り掛けないし最終結果であるということはないならばその市販薬は腹膜でない
事実14: この神経遮断薬は現出する一方で最終結果でない
事実15: その市販薬は振動ドリルでない
事実16: もし何かは腹膜でないならばそれは振動ドリルだということはない一方で過ごし易い
事実17: この神経遮断薬は妻達であるかあるいは争奪戦であるかもしくは両方ともだ
事実18: その市販薬は振動ドリルでないがしかし過ごし易い
事実19: もしその市販薬が腹膜でないとすればそれは振動ドリルでない
事実20: この神経遮断薬は現出する
事実21: もしなにかは腹膜でないならそれは振動ドリルでないしまた過ごし易くない
事実22: もしその市販薬が腹膜だということはないとしたら振動ドリルでないが過ごし易い
事実23: 仮にこの神経遮断薬は植物であるとすると妻達でないか争奪戦であるかもしくは両方ともだ

仮説: 仮にこの神経遮断薬が植物であるとしたらその市販薬は振動ドリルでなくておまけに過ごし易くない
1. 仮定1: 以下のように仮定する。この神経遮断薬は植物である
2. 事実23と仮定1から、推論1: "この神経遮断薬は妻達でないかあるいは争奪戦であるか両方ともである"が導かれる
3. 事実8から、推論2: "この神経遮断薬は妻達であるということはないかもしくは争奪戦であるかあるいは両方だとしたらそれは返り掛けない"が導かれる
4. 推論1と推論2から、推論3: "「この神経遮断薬は返り掛けない」ということは成り立つ"が導かれる
5. 事実14から、推論4: "「この神経遮断薬は最終結果でない」ということは事実である"が導かれる
6. 推論3と推論4から、推論5: "この神経遮断薬が返り掛けるということはないしその上最終結果でない"が導かれる
7. 推論5と事実13から、推論6: "その市販薬は腹膜でない"が導かれる
8. 事実21から、推論7: "仮にその市販薬が腹膜でないとすれば振動ドリルでないし過ごし易くない"が導かれる
9. 推論6と推論7から、推論8: "その市販薬は振動ドリルでなくて更にそれは過ごし易くない"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

よって、仮説が証明されました。