あの切れはデータセットだ
fact1: もしも「このＸ脚は輻湊しないし殉ぜない」ということは嘘であるならば「それは輻湊する」ということは正しい fact2: もしもあの切れが堪え難くないとしたらそれは完成出来るし加えて受給者番号だ fact3: もし「あの切れが受給者番号だししかも完成出来る」ということは偽だとすればこのＸ脚は堪え難くない fact4: なにかは輻湊しないしかつ狭くない fact5: 仮に何かは完成出来れば「それは呼び習わすということはなくてデータセットでない」ということは成り立たない fact6: もし仮に「輻湊しなくておまけに狭くない」ものがあるとすればこのＸ脚はじっとしない fact7: 仮にある物は呼び習わさないとしたら「それは受給者番号で完成出来る」ということは間違っている fact8: 仮にあの切れがデータセットならばそれは呼び習わさない fact9: 仮にこのＸ脚は輻湊すれば「それはじっとするししかもそれは登竜門でない」ということは間違っている fact10: あの切れは登竜門でない fact11: もしもこのＸ脚がじっとしないなら登竜門であるしその上堪え難い fact12: もし仮に「とある物は呼び習わさないかもしくはデータセットであるか両方ともである」ということは嘘であるとすれば批判す
void -> assump1: 以下のように仮定する。あの切れはデータセットだ; fact8 & assump1 -> int1: あの切れは呼び習わさない; fact7 -> int2: 仮にあの切れは呼び習わさないとしたら「受給者番号であるしかつ完成出来る」ということは偽だ; int1 & int2 -> int3: 「あの切れは受給者番号でそれに完成出来る」ということは成り立つということはない; int3 & fact3 -> int4: このＸ脚は堪え難いということはない; fact6 & fact4 -> int5: このＸ脚はじっとしない; fact11 & int5 -> int6: このＸ脚は登竜門であるしおまけにそれは堪え難い; int6 -> int7: このＸ脚は堪え難い; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「あの切れはデータセットである」ということは真実である
fact16 -> int9: 仮に「あの切れは完成出来る」ということは本当なら「呼び習わさなくてデータセットでない」ということは誤りだ;
$facts$ = fact1: もしも「このＸ脚は輻湊しないし殉ぜない」ということは嘘であるならば「それは輻湊する」ということは正しい fact2: もしもあの切れが堪え難くないとしたらそれは完成出来るし加えて受給者番号だ fact3: もし「あの切れが受給者番号だししかも完成出来る」ということは偽だとすればこのＸ脚は堪え難くない fact4: なにかは輻湊しないしかつ狭くない fact5: 仮に何かは完成出来れば「それは呼び習わすということはなくてデータセットでない」ということは成り立たない fact6: もし仮に「輻湊しなくておまけに狭くない」ものがあるとすればこのＸ脚はじっとしない fact7: 仮にある物は呼び習わさないとしたら「それは受給者番号で完成出来る」ということは間違っている fact8: 仮にあの切れがデータセットならばそれは呼び習わさない fact9: 仮にこのＸ脚は輻湊すれば「それはじっとするししかもそれは登竜門でない」ということは間違っている fact10: あの切れは登竜門でない fact11: もしもこのＸ脚がじっとしないなら登竜門であるしその上堪え難い fact12: もし仮に「とある物は呼び習わさないかもしくはデータセットであるか両方ともである」ということは嘘であるとすれば批判す ; $hypothesis$ = あの切れはデータセットだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの切れはデータセットだ; fact8 & assump1 -> int1: あの切れは呼び習わさない; fact7 -> int2: 仮にあの切れは呼び習わさないとしたら「受給者番号であるしかつ完成出来る」ということは偽だ; int1 & int2 -> int3: 「あの切れは受給者番号でそれに完成出来る」ということは成り立つということはない; int3 & fact3 -> int4: このＸ脚は堪え難いということはない; fact6 & fact4 -> int5: このＸ脚はじっとしない; fact11 & int5 -> int6: このＸ脚は登竜門であるしおまけにそれは堪え難い; int6 -> int7: このＸ脚は堪え難い; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしも「このＸ脚は輻湊しないし殉ぜない」ということは嘘であるならば「それは輻湊する」ということは正しい
事実2: もしもあの切れが堪え難くないとしたらそれは完成出来るし加えて受給者番号だ
事実3: もし「あの切れが受給者番号だししかも完成出来る」ということは偽だとすればこのＸ脚は堪え難くない
事実4: なにかは輻湊しないしかつ狭くない
事実5: 仮に何かは完成出来れば「それは呼び習わすということはなくてデータセットでない」ということは成り立たない
事実6: もし仮に「輻湊しなくておまけに狭くない」ものがあるとすればこのＸ脚はじっとしない
事実7: 仮にある物は呼び習わさないとしたら「それは受給者番号で完成出来る」ということは間違っている
事実8: 仮にあの切れがデータセットならばそれは呼び習わさない
事実9: 仮にこのＸ脚は輻湊すれば「それはじっとするししかもそれは登竜門でない」ということは間違っている
事実10: あの切れは登竜門でない
事実11: もしもこのＸ脚がじっとしないなら登竜門であるしその上堪え難い
事実12: もし仮に「とある物は呼び習わさないかもしくはデータセットであるか両方ともである」ということは嘘であるとすれば批判す

仮説: あの切れはデータセットだ
1. 仮定1: 以下のように仮定する。あの切れはデータセットだ
2. 事実8と仮定1から、推論1: "あの切れは呼び習わさない"が導かれる
3. 事実7から、推論2: "仮にあの切れは呼び習わさないとしたら「受給者番号であるしかつ完成出来る」ということは偽だ"が導かれる
4. 推論1と推論2から、推論3: "「あの切れは受給者番号でそれに完成出来る」ということは成り立つということはない"が導かれる
5. 推論3と事実3から、推論4: "このＸ脚は堪え難いということはない"が導かれる
6. 事実6と事実4から、推論5: "このＸ脚はじっとしない"が導かれる
7. 事実11と推論5から、推論6: "このＸ脚は登竜門であるしおまけにそれは堪え難い"が導かれる
8. 推論6から、推論7: "このＸ脚は堪え難い"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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