「「「閲覧するし賑々しくない」ということは事実でないとすれば「冷やし固めない」ということは成り立つ」ものはある」ということは本当でない
fact1: もしあのメインストリームは閲覧するけど賑々しくないとすればそれは冷やし固めない fact2: もしも「なにかは賑々しいがしかし転用しない」ということは事実だということはないならそれは参考しない fact3: 仮にとある物は賑々しいとすれば「冷やし固めない」ということは成り立つ fact4: もし何らかの物が疎明するが血溜まりでないとすれば人吉荘でない fact5: 「何かは閲覧する一方でそれは賑々しくない」ということは成り立たないとすると「冷やし固めない」ということは成り立つ
fact5 -> int1: もし「「あのメインストリームは閲覧する一方で賑々しくない」ということは間違いである」ということは成り立つとすれば冷やし固めない; int1 -> hypothesis;
「あの安倍晴明伝は賑々しいけれど転用しない」ということは間違いであるなら参考しない
fact6 -> hypothesis;
$facts$ = fact1: もしあのメインストリームは閲覧するけど賑々しくないとすればそれは冷やし固めない fact2: もしも「なにかは賑々しいがしかし転用しない」ということは事実だということはないならそれは参考しない fact3: 仮にとある物は賑々しいとすれば「冷やし固めない」ということは成り立つ fact4: もし何らかの物が疎明するが血溜まりでないとすれば人吉荘でない fact5: 「何かは閲覧する一方でそれは賑々しくない」ということは成り立たないとすると「冷やし固めない」ということは成り立つ ; $hypothesis$ = 「「「閲覧するし賑々しくない」ということは事実でないとすれば「冷やし固めない」ということは成り立つ」ものはある」ということは本当でない ; $proof$ = 
fact5 -> int1: もし「「あのメインストリームは閲覧する一方で賑々しくない」ということは間違いである」ということは成り立つとすれば冷やし固めない; int1 -> hypothesis; __DISPROVED__
事実1: もしあのメインストリームは閲覧するけど賑々しくないとすればそれは冷やし固めない
事実2: もしも「なにかは賑々しいがしかし転用しない」ということは事実だということはないならそれは参考しない
事実3: 仮にとある物は賑々しいとすれば「冷やし固めない」ということは成り立つ
事実4: もし何らかの物が疎明するが血溜まりでないとすれば人吉荘でない
事実5: 「何かは閲覧する一方でそれは賑々しくない」ということは成り立たないとすると「冷やし固めない」ということは成り立つ

仮説: 「「「閲覧するし賑々しくない」ということは事実でないとすれば「冷やし固めない」ということは成り立つ」ものはある」ということは本当でない
1. 事実5から、推論1: "もし「「あのメインストリームは閲覧する一方で賑々しくない」ということは間違いである」ということは成り立つとすれば冷やし固めない"が導かれる
2. 推論1から、仮説が否定される

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