「「もし仮に喋り難いけど疲れ易くないとしたらＳ市でない」ものはある」ということは成り立たない
fact1: もしこの十六世紀末は配達証明であるけれど殉ぜないならば「Ｓ市である」ということは事実でない fact2: 仮にその前頭は喋り難い一方で疲れ易くないとするとそれはＳ市だ fact3: もし喋り難いものは十五参照でないなら抜け易くない fact4: 「もし喋り難いが疲れ易くないならＳ市である」ものはある fact5: もし仮にくどいものが餅菓子でないとすればそれは喋り難くない fact6: その前頭は喋り難い一方で疲れ易くないとするとＳ市であるということはない fact7: 仮にその前頭は喋り難いししかも疲れ易いとすればそれはＳ市でない
fact6 -> hypothesis;
fact6 -> hypothesis;
仮にあの文法事項はくどいけど餅菓子でないならば「それは喋り難くない」ということは真実である
fact8 -> hypothesis;
$facts$ = fact1: もしこの十六世紀末は配達証明であるけれど殉ぜないならば「Ｓ市である」ということは事実でない fact2: 仮にその前頭は喋り難い一方で疲れ易くないとするとそれはＳ市だ fact3: もし喋り難いものは十五参照でないなら抜け易くない fact4: 「もし喋り難いが疲れ易くないならＳ市である」ものはある fact5: もし仮にくどいものが餅菓子でないとすればそれは喋り難くない fact6: その前頭は喋り難い一方で疲れ易くないとするとＳ市であるということはない fact7: 仮にその前頭は喋り難いししかも疲れ易いとすればそれはＳ市でない ; $hypothesis$ = 「「もし仮に喋り難いけど疲れ易くないとしたらＳ市でない」ものはある」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もしこの十六世紀末は配達証明であるけれど殉ぜないならば「Ｓ市である」ということは事実でない
事実2: 仮にその前頭は喋り難い一方で疲れ易くないとするとそれはＳ市だ
事実3: もし喋り難いものは十五参照でないなら抜け易くない
事実4: 「もし喋り難いが疲れ易くないならＳ市である」ものはある
事実5: もし仮にくどいものが餅菓子でないとすればそれは喋り難くない
事実6: その前頭は喋り難い一方で疲れ易くないとするとＳ市であるということはない
事実7: 仮にその前頭は喋り難いししかも疲れ易いとすればそれはＳ市でない

仮説: 「「もし仮に喋り難いけど疲れ易くないとしたらＳ市でない」ものはある」ということは成り立たない
1. 事実6から、仮説が否定される

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