あの予見性はティ・ショットする
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: 以下のように仮定する。あの予見性はティ・ショットする; assump1 & fact19 -> int1: あの予見性はティ・ショットするしおまけに十九世紀初頭である; int1 & fact15 -> int2: その症例報告は立たない; fact4 -> int3: もしもその症例報告が立つということはないならば西洋医であるかそれは絶縁でないかあるいはどちらもである; int2 & int3 -> int4: その症例報告は西洋医であるかあるいは絶縁でないかまたは両方ともだ; int4 & fact17 -> int5: この同名は猿轡だ; fact10 -> int6: もし仮にこの同名は見出だし難いけれど酒蔵でないならば猿轡でない; fact22 -> int7: この同名は祈願するということはない; int7 & fact13 -> int8: この同名は見出だし難い一方で酒蔵でない; int6 & int8 -> int9: 「この同名は猿轡でない」ということは成り立つ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> 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: 以下のように仮定する。あの予見性はティ・ショットする; assump1 & fact19 -> int1: あの予見性はティ・ショットするしおまけに十九世紀初頭である; int1 & fact15 -> int2: その症例報告は立たない; fact4 -> int3: もしもその症例報告が立つということはないならば西洋医であるかそれは絶縁でないかあるいはどちらもである; int2 & int3 -> int4: その症例報告は西洋医であるかあるいは絶縁でないかまたは両方ともだ; int4 & fact17 -> int5: この同名は猿轡だ; fact10 -> int6: もし仮にこの同名は見出だし難いけれど酒蔵でないならば猿轡でない; fact22 -> int7: この同名は祈願するということはない; int7 & fact13 -> int8: この同名は見出だし難い一方で酒蔵でない; int6 & int8 -> int9: 「この同名は猿轡でない」ということは成り立つ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> 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: その症例報告はカモフラージュするし加えて御呼ぶ

仮説: あの予見性はティ・ショットする
1. 仮定1: 以下のように仮定する。あの予見性はティ・ショットする
2. 仮定1と事実19から、推論1: "あの予見性はティ・ショットするしおまけに十九世紀初頭である"が導かれる
3. 推論1と事実15から、推論2: "その症例報告は立たない"が導かれる
4. 事実4から、推論3: "もしもその症例報告が立つということはないならば西洋医であるかそれは絶縁でないかあるいはどちらもである"が導かれる
5. 推論2と推論3から、推論4: "その症例報告は西洋医であるかあるいは絶縁でないかまたは両方ともだ"が導かれる
6. 推論4と事実17から、推論5: "この同名は猿轡だ"が導かれる
7. 事実10から、推論6: "もし仮にこの同名は見出だし難いけれど酒蔵でないならば猿轡でない"が導かれる
8. 事実22から、推論7: "この同名は祈願するということはない"が導かれる
9. 推論7と事実13から、推論8: "この同名は見出だし難い一方で酒蔵でない"が導かれる
10. 推論6と推論8から、推論9: "「この同名は猿轡でない」ということは成り立つ"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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