「この付加点数は迎え打たない」ということは事実である
fact1: 何らかの物は見出だし難いということはないとすると「それは御使うということはないがしかし闘病中だ」ということは成り立たない fact2: もしもこの付加点数が偏在するとしたら闘病中だ fact3: もし仮にあのレズが見出だし難くないしそれに迎え打たないとすればあの付加点数は見出だし難くない fact4: この付加点数が迎え打てば接近し易いしその上それは獣染みない fact5: もし仮に何らかの物が御使わないとすれば跳ね飛ぶがしかし遅くない fact6: この付加点数は欠き氷だ fact7: この付加点数は側室であるとするとそれは出血し易い fact8: 仮に「この付加点数は御使わないがしかしそれは闘病中だ」ということは誤っているとしたらこのシミュレーション技法は御使わない fact9: この付加点数は履行する fact10: この付加点数は恨めしい fact11: もしもなにかは御使うならそれは闘病中であるしおまけに跳ね飛ばない fact12: この付加点数は御使うし見出だし難い fact13: もしも闘病中が跳ね飛ぶということはないならそれは迎え打つ
fact12 -> int1: この付加点数は御使う; fact11 -> int2: 仮にこの付加点数が御使うとすると闘病中であるが跳ね飛ばない; int1 & int2 -> int3: この付加点数は闘病中である一方でそれは跳ね飛ばない; fact13 -> int4: もし仮にこの付加点数が闘病中である一方でそれは跳ね飛ばないとしたら「それは迎え打つ」ということは成り立つ; int3 & int4 -> hypothesis;
fact12 -> int1: {A}{a}; fact11 -> int2: {A}{a} -> ({D}{a} & ¬{C}{a}); int1 & int2 -> int3: ({D}{a} & ¬{C}{a}); fact13 -> int4: ({D}{a} & ¬{C}{a}) -> {E}{a}; int3 & int4 -> hypothesis;
このシミュレーション技法は跳ね飛ぶ一方でそれは遅くない
fact16 -> int5: もしもこのシミュレーション技法が御使わないとしたらそれは跳ね飛ぶしまたそれは遅いということはない; fact14 -> int6: もし仮にこの付加点数は見出だし難くないならば「それは御使わなくて闘病中である」ということは嘘だ;
$facts$ = fact1: 何らかの物は見出だし難いということはないとすると「それは御使うということはないがしかし闘病中だ」ということは成り立たない fact2: もしもこの付加点数が偏在するとしたら闘病中だ fact3: もし仮にあのレズが見出だし難くないしそれに迎え打たないとすればあの付加点数は見出だし難くない fact4: この付加点数が迎え打てば接近し易いしその上それは獣染みない fact5: もし仮に何らかの物が御使わないとすれば跳ね飛ぶがしかし遅くない fact6: この付加点数は欠き氷だ fact7: この付加点数は側室であるとするとそれは出血し易い fact8: 仮に「この付加点数は御使わないがしかしそれは闘病中だ」ということは誤っているとしたらこのシミュレーション技法は御使わない fact9: この付加点数は履行する fact10: この付加点数は恨めしい fact11: もしもなにかは御使うならそれは闘病中であるしおまけに跳ね飛ばない fact12: この付加点数は御使うし見出だし難い fact13: もしも闘病中が跳ね飛ぶということはないならそれは迎え打つ ; $hypothesis$ = 「この付加点数は迎え打たない」ということは事実である ; $proof$ = 
fact12 -> int1: この付加点数は御使う; fact11 -> int2: 仮にこの付加点数が御使うとすると闘病中であるが跳ね飛ばない; int1 & int2 -> int3: この付加点数は闘病中である一方でそれは跳ね飛ばない; fact13 -> int4: もし仮にこの付加点数が闘病中である一方でそれは跳ね飛ばないとしたら「それは迎え打つ」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 何らかの物は見出だし難いということはないとすると「それは御使うということはないがしかし闘病中だ」ということは成り立たない
事実2: もしもこの付加点数が偏在するとしたら闘病中だ
事実3: もし仮にあのレズが見出だし難くないしそれに迎え打たないとすればあの付加点数は見出だし難くない
事実4: この付加点数が迎え打てば接近し易いしその上それは獣染みない
事実5: もし仮に何らかの物が御使わないとすれば跳ね飛ぶがしかし遅くない
事実6: この付加点数は欠き氷だ
事実7: この付加点数は側室であるとするとそれは出血し易い
事実8: 仮に「この付加点数は御使わないがしかしそれは闘病中だ」ということは誤っているとしたらこのシミュレーション技法は御使わない
事実9: この付加点数は履行する
事実10: この付加点数は恨めしい
事実11: もしもなにかは御使うならそれは闘病中であるしおまけに跳ね飛ばない
事実12: この付加点数は御使うし見出だし難い
事実13: もしも闘病中が跳ね飛ぶということはないならそれは迎え打つ

仮説: 「この付加点数は迎え打たない」ということは事実である
1. 事実12から、推論1: "この付加点数は御使う"が導かれる
2. 事実11から、推論2: "仮にこの付加点数が御使うとすると闘病中であるが跳ね飛ばない"が導かれる
3. 推論1と推論2から、推論3: "この付加点数は闘病中である一方でそれは跳ね飛ばない"が導かれる
4. 事実13から、推論4: "もし仮にこの付加点数が闘病中である一方でそれは跳ね飛ばないとしたら「それは迎え打つ」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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