「「もし浸透性であるか関係深くないかあるいは両方であるならば「君主制でない」ということは真実な」物はある」ということは成り立たない
fact1: 「もしも動かし難いならば「忝くない」ということは本当である」物はある fact2: 「浸透性であるか関係深くないかもしくはどちらもであるとしたら君主制である」物はある fact3: あの女子マラソンが浸透性であるかまたは関係深くないとすればそれは君主制でない fact4: もしもあの女子マラソンが関係深くないとすれば君主制だということはない
fact3 -> hypothesis;
$facts$ = fact1: 「もしも動かし難いならば「忝くない」ということは本当である」物はある fact2: 「浸透性であるか関係深くないかもしくはどちらもであるとしたら君主制である」物はある fact3: あの女子マラソンが浸透性であるかまたは関係深くないとすればそれは君主制でない fact4: もしもあの女子マラソンが関係深くないとすれば君主制だということはない ; $hypothesis$ = 「「もし浸透性であるか関係深くないかあるいは両方であるならば「君主制でない」ということは真実な」物はある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「もしも動かし難いならば「忝くない」ということは本当である」物はある
事実2: 「浸透性であるか関係深くないかもしくはどちらもであるとしたら君主制である」物はある
事実3: あの女子マラソンが浸透性であるかまたは関係深くないとすればそれは君主制でない
事実4: もしもあの女子マラソンが関係深くないとすれば君主制だということはない

仮説: 「「もし浸透性であるか関係深くないかあるいは両方であるならば「君主制でない」ということは真実な」物はある」ということは成り立たない
1. 事実3から、仮説が否定される

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