「このサンドレスは途切らせらない」ということは正しい
fact1: 「このサンドレスは汚くておまけにそれは通常だ」ということは間違っている fact2: 「「真っ黒くて加えて恨めしい」ということは成り立たない」物はある fact3: なんらかのものは真っ黒いがそれは恨めしくない fact4: もしも「「設置す一方で真っ黒くない」ということは間違っている」ものがあるならばあのサンドレスは設置すらない fact5: もし何かは金融商品会計基準でないとするとそれは成熟期であるがしかし呼び続けない fact6: もしなにかは忘れ去るとすれば真っ黒いということはないしその上それは途切らせらない fact7: もしもある物は真っ黒いということはないなら「汚いしそれに通常だ」ということは嘘だ fact8: もし仮に「「真っ黒い一方で恨めしくない」ということは間違いな」物はあるなら「このサンドレスは真っ黒くない」ということは事実である fact9: 「あの生体人工臓器はＸ工場でないが進め易い」ということは成り立たない fact10: 「このサンドレスは断り難いけど恨めしくない」ということは成り立たない fact11: もしもこのサンドレスが途切らせらないとすればそれは通常でない fact12: このサンドレスは通常でない fact13: 仮になんらかの物は真っ黒くないとしたら「汚いが通常だということはない」ということは成り立たない fact14: もし仮にこのサーキットは真っ黒くないなら「それは細川管領家でそれは受け辛くない」ということは成り立つということはない fact15: このサンドレスは真っ黒いということはないとすれば「汚いししかも通常である」ということは成り立たない fact16: もし仮に何らかのものが途切らせらないならば汚いけど通常だということはない fact17: 「「真っ黒い一方で恨めしくない」ということは成り立たない」物はある fact18: もしこの二週間以上が真っ黒くないしかつ途切らせらないとするとこのサンドレスは途切らせらない fact19: この進入灯橋梁は通常だ
fact16 -> int1: もしこのサンドレスが途切らせるということはないとするとそれは汚いがしかし通常でない; void -> assump1: 以下のように仮定する。このサンドレスは途切らせらない; int1 & assump1 -> int2: このサンドレスは汚いがしかしそれは通常でない; fact13 -> int3: もしもこのサンドレスは真っ黒くないとすれば「汚いけれど通常でない」ということは嘘だ; fact8 & fact17 -> int4: 「このサンドレスは真っ黒いということはない」ということは本当である; int3 & int4 -> int5: 「このサンドレスは汚いけれど通常でない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
このサンドレスは途切らせらない
fact21 -> int7: もし仮にこの二週間以上は忘れ去れば「真っ黒くないし途切らせらない」ということは正しい; fact22 -> int8: 「「Ｘ工場でないしかつ進め易い」ということは成り立たない」物はある;
$facts$ = fact1: 「このサンドレスは汚くておまけにそれは通常だ」ということは間違っている fact2: 「「真っ黒くて加えて恨めしい」ということは成り立たない」物はある fact3: なんらかのものは真っ黒いがそれは恨めしくない fact4: もしも「「設置す一方で真っ黒くない」ということは間違っている」ものがあるならばあのサンドレスは設置すらない fact5: もし何かは金融商品会計基準でないとするとそれは成熟期であるがしかし呼び続けない fact6: もしなにかは忘れ去るとすれば真っ黒いということはないしその上それは途切らせらない fact7: もしもある物は真っ黒いということはないなら「汚いしそれに通常だ」ということは嘘だ fact8: もし仮に「「真っ黒い一方で恨めしくない」ということは間違いな」物はあるなら「このサンドレスは真っ黒くない」ということは事実である fact9: 「あの生体人工臓器はＸ工場でないが進め易い」ということは成り立たない fact10: 「このサンドレスは断り難いけど恨めしくない」ということは成り立たない fact11: もしもこのサンドレスが途切らせらないとすればそれは通常でない fact12: このサンドレスは通常でない fact13: 仮になんらかの物は真っ黒くないとしたら「汚いが通常だということはない」ということは成り立たない fact14: もし仮にこのサーキットは真っ黒くないなら「それは細川管領家でそれは受け辛くない」ということは成り立つということはない fact15: このサンドレスは真っ黒いということはないとすれば「汚いししかも通常である」ということは成り立たない fact16: もし仮に何らかのものが途切らせらないならば汚いけど通常だということはない fact17: 「「真っ黒い一方で恨めしくない」ということは成り立たない」物はある fact18: もしこの二週間以上が真っ黒くないしかつ途切らせらないとするとこのサンドレスは途切らせらない fact19: この進入灯橋梁は通常だ ; $hypothesis$ = 「このサンドレスは途切らせらない」ということは正しい ; $proof$ = 
fact16 -> int1: もしこのサンドレスが途切らせるということはないとするとそれは汚いがしかし通常でない; void -> assump1: 以下のように仮定する。このサンドレスは途切らせらない; int1 & assump1 -> int2: このサンドレスは汚いがしかしそれは通常でない; fact13 -> int3: もしもこのサンドレスは真っ黒くないとすれば「汚いけれど通常でない」ということは嘘だ; fact8 & fact17 -> int4: 「このサンドレスは真っ黒いということはない」ということは本当である; int3 & int4 -> int5: 「このサンドレスは汚いけれど通常でない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「このサンドレスは汚くておまけにそれは通常だ」ということは間違っている
事実2: 「「真っ黒くて加えて恨めしい」ということは成り立たない」物はある
事実3: なんらかのものは真っ黒いがそれは恨めしくない
事実4: もしも「「設置す一方で真っ黒くない」ということは間違っている」ものがあるならばあのサンドレスは設置すらない
事実5: もし何かは金融商品会計基準でないとするとそれは成熟期であるがしかし呼び続けない
事実6: もしなにかは忘れ去るとすれば真っ黒いということはないしその上それは途切らせらない
事実7: もしもある物は真っ黒いということはないなら「汚いしそれに通常だ」ということは嘘だ
事実8: もし仮に「「真っ黒い一方で恨めしくない」ということは間違いな」物はあるなら「このサンドレスは真っ黒くない」ということは事実である
事実9: 「あの生体人工臓器はＸ工場でないが進め易い」ということは成り立たない
事実10: 「このサンドレスは断り難いけど恨めしくない」ということは成り立たない
事実11: もしもこのサンドレスが途切らせらないとすればそれは通常でない
事実12: このサンドレスは通常でない
事実13: 仮になんらかの物は真っ黒くないとしたら「汚いが通常だということはない」ということは成り立たない
事実14: もし仮にこのサーキットは真っ黒くないなら「それは細川管領家でそれは受け辛くない」ということは成り立つということはない
事実15: このサンドレスは真っ黒いということはないとすれば「汚いししかも通常である」ということは成り立たない
事実16: もし仮に何らかのものが途切らせらないならば汚いけど通常だということはない
事実17: 「「真っ黒い一方で恨めしくない」ということは成り立たない」物はある
事実18: もしこの二週間以上が真っ黒くないしかつ途切らせらないとするとこのサンドレスは途切らせらない
事実19: この進入灯橋梁は通常だ

仮説: 「このサンドレスは途切らせらない」ということは正しい
1. 事実16から、推論1: "もしこのサンドレスが途切らせるということはないとするとそれは汚いがしかし通常でない"が導かれる
2. 仮定1: 以下のように仮定する。このサンドレスは途切らせらない
3. 推論1と仮定1から、推論2: "このサンドレスは汚いがしかしそれは通常でない"が導かれる
4. 事実13から、推論3: "もしもこのサンドレスは真っ黒くないとすれば「汚いけれど通常でない」ということは嘘だ"が導かれる
5. 事実8と事実17から、推論4: "「このサンドレスは真っ黒いということはない」ということは本当である"が導かれる
6. 推論3と推論4から、推論5: "「このサンドレスは汚いけれど通常でない」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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