「「仮に「ディズニーグッズである」ということは確かだとすると押し留める」ものはある」ということは成り立たない
fact1: もしもとあるものがディズニーグッズだけどカム角センサーでないとすれば押し留める fact2: もしもその少数点以下が御労しいとしたら原発反対だ fact3: それはダビングしないか買い戻すというものはない fact4: どれもこれもは買い戻さない fact5: その少数点以下はディズニーグッズだけれど買い戻すということはない fact6: 「買い戻さない」ものはある fact7: カム角センサーはディズニーグッズである fact8: その少数点以下は買い戻さない fact9: 「「ダビングしないかまたは買い戻すかどちらもである」ということは誤っている」物があるとするとこの事務用品はカム角センサーでない
fact3 -> int1: 「その少数点以下はダビングするということはないか買い戻すかもしくは両方ともである」ということは成り立たない; int1 -> int2: 「「ダビングしないかもしくは買い戻すかまたはどちらもだ」ということは成り立つということはない」ものはある; int2 & fact9 -> int3: この事務用品はカム角センサーでない; void -> assump1: 以下のように仮定する。「この事務用品はディズニーグッズである」ということは事実と異ならない; int3 & assump1 -> int4: この事務用品はディズニーグッズである一方でカム角センサーでない; fact1 -> int5: 仮にこの事務用品がディズニーグッズだ一方でそれがカム角センサーだということはないならば押し留める; int4 & int5 -> int6: 「この事務用品は押し留める」ということは誤っていない; [assump1] & int6 -> int7: もしこの事務用品はディズニーグッズであるならそれは押し留める; int7 -> hypothesis;
あの腕試しはディズニーグッズである
fact10 -> int8: もしもあの腕試しはカム角センサーであるとすれば「それはディズニーグッズだ」ということは真実だ;
$facts$ = fact1: もしもとあるものがディズニーグッズだけどカム角センサーでないとすれば押し留める fact2: もしもその少数点以下が御労しいとしたら原発反対だ fact3: それはダビングしないか買い戻すというものはない fact4: どれもこれもは買い戻さない fact5: その少数点以下はディズニーグッズだけれど買い戻すということはない fact6: 「買い戻さない」ものはある fact7: カム角センサーはディズニーグッズである fact8: その少数点以下は買い戻さない fact9: 「「ダビングしないかまたは買い戻すかどちらもである」ということは誤っている」物があるとするとこの事務用品はカム角センサーでない ; $hypothesis$ = 「「仮に「ディズニーグッズである」ということは確かだとすると押し留める」ものはある」ということは成り立たない ; $proof$ = 
fact3 -> int1: 「その少数点以下はダビングするということはないか買い戻すかもしくは両方ともである」ということは成り立たない; int1 -> int2: 「「ダビングしないかもしくは買い戻すかまたはどちらもだ」ということは成り立つということはない」ものはある; int2 & fact9 -> int3: この事務用品はカム角センサーでない; void -> assump1: 以下のように仮定する。「この事務用品はディズニーグッズである」ということは事実と異ならない; int3 & assump1 -> int4: この事務用品はディズニーグッズである一方でカム角センサーでない; fact1 -> int5: 仮にこの事務用品がディズニーグッズだ一方でそれがカム角センサーだということはないならば押し留める; int4 & int5 -> int6: 「この事務用品は押し留める」ということは誤っていない; [assump1] & int6 -> int7: もしこの事務用品はディズニーグッズであるならそれは押し留める; int7 -> hypothesis; __DISPROVED__
事実1: もしもとあるものがディズニーグッズだけどカム角センサーでないとすれば押し留める
事実2: もしもその少数点以下が御労しいとしたら原発反対だ
事実3: それはダビングしないか買い戻すというものはない
事実4: どれもこれもは買い戻さない
事実5: その少数点以下はディズニーグッズだけれど買い戻すということはない
事実6: 「買い戻さない」ものはある
事実7: カム角センサーはディズニーグッズである
事実8: その少数点以下は買い戻さない
事実9: 「「ダビングしないかまたは買い戻すかどちらもである」ということは誤っている」物があるとするとこの事務用品はカム角センサーでない

仮説: 「「仮に「ディズニーグッズである」ということは確かだとすると押し留める」ものはある」ということは成り立たない
1. 事実3から、推論1: "「その少数点以下はダビングするということはないか買い戻すかもしくは両方ともである」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「ダビングしないかもしくは買い戻すかまたはどちらもだ」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実9から、推論3: "この事務用品はカム角センサーでない"が導かれる
4. 仮定1: 以下のように仮定する。「この事務用品はディズニーグッズである」ということは事実と異ならない
5. 推論3と仮定1から、推論4: "この事務用品はディズニーグッズである一方でカム角センサーでない"が導かれる
6. 事実1から、推論5: "仮にこの事務用品がディズニーグッズだ一方でそれがカム角センサーだということはないならば押し留める"が導かれる
7. 推論4と推論5から、推論6: "「この事務用品は押し留める」ということは誤っていない"が導かれる
8. [仮定1]と推論6から、推論7: "もしこの事務用品はディズニーグッズであるならそれは押し留める"が導かれる
9. 推論7から、仮説が否定される

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