「「もしも寂しいとすると初々しいがしかし滑り始めない」ものはある」ということは誤りである
fact1: その秘跡は初々しい fact2: 仮にその秘跡が寂しかないならばこの平等主義は調べ易いけれど初々しいということはない fact3: その秘跡は民間委託するがエアライナーでない fact4: 「もし仮に「惨い」ということは本当であるとすれば正法・像法・末法だ一方で心深しということはない」物はある fact5: もし仮にその秘跡は二次巻き線でないとすると「滑り始めないけど送受信する」ということは成り立たない fact6: 「もし寂しいとしたら滑り始めない」物はある fact7: もしこの付き物が送受信すればそれは短い fact8: そのコンクリート壁は滑り始めない fact9: もしも「何らかの物は放水するがしかし手際良くない」ということは間違いだとすると「それは二次巻き線でない」ということは真実である fact10: 漏れ易い物は事業計画等でない fact11: 「宴会場であるとすると血腥いが齎し易いということはない」ものはある fact12: 「仮に食害すれば秋山電器店であるがしかし経営基盤でない」ものはある fact13: その秘跡はルートユーザーである fact14: もし仮にとある物が送受信するとしたら滑り始めない fact15: 仮にその秘跡が寂しいとすれば送受信する fact16: もしなにがしかの物は擦り込むということはないなら「それは放水するけど手際良くない」ということは誤っている
void -> assump1: 以下のように仮定する。その秘跡は寂しい; fact15 & assump1 -> int1: 「その秘跡は送受信する」ということは偽であるということはない; fact14 -> int2: その秘跡が送受信するなら滑り始めるということはない; int1 & int2 -> int3: 「その秘跡は滑り始めない」ということは成り立つ; int3 & fact1 -> int4: その秘跡は初々しいが滑り始めるということはない; [assump1] & int4 -> int5: もし仮にその秘跡が寂しいなら初々しい一方で滑り始めない; int5 -> hypothesis;
この平等主義は調べ易いけれど初々しかない
fact18 -> int6: もしも「その秘跡は放水するがそれは手際良くない」ということは誤りであるとしたらそれは二次巻き線でない; fact17 -> int7: もし仮にその秘跡は擦り込まないとすると「それは放水するし手際良いということはない」ということは偽である;
$facts$ = fact1: その秘跡は初々しい fact2: 仮にその秘跡が寂しかないならばこの平等主義は調べ易いけれど初々しいということはない fact3: その秘跡は民間委託するがエアライナーでない fact4: 「もし仮に「惨い」ということは本当であるとすれば正法・像法・末法だ一方で心深しということはない」物はある fact5: もし仮にその秘跡は二次巻き線でないとすると「滑り始めないけど送受信する」ということは成り立たない fact6: 「もし寂しいとしたら滑り始めない」物はある fact7: もしこの付き物が送受信すればそれは短い fact8: そのコンクリート壁は滑り始めない fact9: もしも「何らかの物は放水するがしかし手際良くない」ということは間違いだとすると「それは二次巻き線でない」ということは真実である fact10: 漏れ易い物は事業計画等でない fact11: 「宴会場であるとすると血腥いが齎し易いということはない」ものはある fact12: 「仮に食害すれば秋山電器店であるがしかし経営基盤でない」ものはある fact13: その秘跡はルートユーザーである fact14: もし仮にとある物が送受信するとしたら滑り始めない fact15: 仮にその秘跡が寂しいとすれば送受信する fact16: もしなにがしかの物は擦り込むということはないなら「それは放水するけど手際良くない」ということは誤っている ; $hypothesis$ = 「「もしも寂しいとすると初々しいがしかし滑り始めない」ものはある」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。その秘跡は寂しい; fact15 & assump1 -> int1: 「その秘跡は送受信する」ということは偽であるということはない; fact14 -> int2: その秘跡が送受信するなら滑り始めるということはない; int1 & int2 -> int3: 「その秘跡は滑り始めない」ということは成り立つ; int3 & fact1 -> int4: その秘跡は初々しいが滑り始めるということはない; [assump1] & int4 -> int5: もし仮にその秘跡が寂しいなら初々しい一方で滑り始めない; int5 -> hypothesis; __DISPROVED__
事実1: その秘跡は初々しい
事実2: 仮にその秘跡が寂しかないならばこの平等主義は調べ易いけれど初々しいということはない
事実3: その秘跡は民間委託するがエアライナーでない
事実4: 「もし仮に「惨い」ということは本当であるとすれば正法・像法・末法だ一方で心深しということはない」物はある
事実5: もし仮にその秘跡は二次巻き線でないとすると「滑り始めないけど送受信する」ということは成り立たない
事実6: 「もし寂しいとしたら滑り始めない」物はある
事実7: もしこの付き物が送受信すればそれは短い
事実8: そのコンクリート壁は滑り始めない
事実9: もしも「何らかの物は放水するがしかし手際良くない」ということは間違いだとすると「それは二次巻き線でない」ということは真実である
事実10: 漏れ易い物は事業計画等でない
事実11: 「宴会場であるとすると血腥いが齎し易いということはない」ものはある
事実12: 「仮に食害すれば秋山電器店であるがしかし経営基盤でない」ものはある
事実13: その秘跡はルートユーザーである
事実14: もし仮にとある物が送受信するとしたら滑り始めない
事実15: 仮にその秘跡が寂しいとすれば送受信する
事実16: もしなにがしかの物は擦り込むということはないなら「それは放水するけど手際良くない」ということは誤っている

仮説: 「「もしも寂しいとすると初々しいがしかし滑り始めない」ものはある」ということは誤りである
1. 仮定1: 以下のように仮定する。その秘跡は寂しい
2. 事実15と仮定1から、推論1: "「その秘跡は送受信する」ということは偽であるということはない"が導かれる
3. 事実14から、推論2: "その秘跡が送受信するなら滑り始めるということはない"が導かれる
4. 推論1と推論2から、推論3: "「その秘跡は滑り始めない」ということは成り立つ"が導かれる
5. 推論3と事実1から、推論4: "その秘跡は初々しいが滑り始めるということはない"が導かれる
6. [仮定1]と推論4から、推論5: "もし仮にその秘跡が寂しいなら初々しい一方で滑り始めない"が導かれる
7. 推論5から、仮説が否定される

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