「「リレーしなくて更に紀勢本線であるとすれば長続きする」ものはある」ということは成り立つということはない
fact1: もし仮になにがしかのものはリレーしないがしかし紀勢本線であるなら「長続きする」ということは間違いでない fact2: 「もし仮にリレーするしさらに紀勢本線だとしたら長続きする」物はある fact3: 「仮に兵法家であるしおまけに塩辛いならば集め始める」ものはある fact4: 仮にとある物が御要望であるということはないが震え続けるとすればそれは名門だ fact5: もしもとある物は権利行使するし更に楽士であるならそれは眺め行く fact6: もしもある物が罹り易くないけれど権利行使するなら長続きする fact7: もしも「その肛門性交は御仕舞い為さるし更に紀勢本線だ」ということは真実ならば「それは横様である」ということは成り立つ
fact1 -> int1: もしその肛門性交はリレーしないけど紀勢本線であるとすればそれは長続きする; int1 -> hypothesis;
もしもあの保護法案は罹り易いということはないが権利行使すれば長続きする
fact8 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのものはリレーしないがしかし紀勢本線であるなら「長続きする」ということは間違いでない fact2: 「もし仮にリレーするしさらに紀勢本線だとしたら長続きする」物はある fact3: 「仮に兵法家であるしおまけに塩辛いならば集め始める」ものはある fact4: 仮にとある物が御要望であるということはないが震え続けるとすればそれは名門だ fact5: もしもとある物は権利行使するし更に楽士であるならそれは眺め行く fact6: もしもある物が罹り易くないけれど権利行使するなら長続きする fact7: もしも「その肛門性交は御仕舞い為さるし更に紀勢本線だ」ということは真実ならば「それは横様である」ということは成り立つ ; $hypothesis$ = 「「リレーしなくて更に紀勢本線であるとすれば長続きする」ものはある」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: もしその肛門性交はリレーしないけど紀勢本線であるとすればそれは長続きする; int1 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものはリレーしないがしかし紀勢本線であるなら「長続きする」ということは間違いでない
事実2: 「もし仮にリレーするしさらに紀勢本線だとしたら長続きする」物はある
事実3: 「仮に兵法家であるしおまけに塩辛いならば集め始める」ものはある
事実4: 仮にとある物が御要望であるということはないが震え続けるとすればそれは名門だ
事実5: もしもとある物は権利行使するし更に楽士であるならそれは眺め行く
事実6: もしもある物が罹り易くないけれど権利行使するなら長続きする
事実7: もしも「その肛門性交は御仕舞い為さるし更に紀勢本線だ」ということは真実ならば「それは横様である」ということは成り立つ

仮説: 「「リレーしなくて更に紀勢本線であるとすれば長続きする」ものはある」ということは成り立つということはない
1. 事実1から、推論1: "もしその肛門性交はリレーしないけど紀勢本線であるとすればそれは長続きする"が導かれる
2. 推論1から、仮説が否定される

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