「「仮に哀れっぽくないとしたら「抽象的過ぎるが如何わしいということはない」ということは事実と異なる」物はある」ということは誤りである
fact1: とある物は哀れっぽくないとすれば「抽象的過ぎるし如何わしくない」ということは成り立たない
fact1 -> int1: もし仮に「あのページ設定は哀れっぽくない」ということは正しいならば「抽象的過ぎるけれど如何わしくない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: とある物は哀れっぽくないとすれば「抽象的過ぎるし如何わしくない」ということは成り立たない ; $hypothesis$ = 「「仮に哀れっぽくないとしたら「抽象的過ぎるが如何わしいということはない」ということは事実と異なる」物はある」ということは誤りである ; $proof$ = 
fact1 -> int1: もし仮に「あのページ設定は哀れっぽくない」ということは正しいならば「抽象的過ぎるけれど如何わしくない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: とある物は哀れっぽくないとすれば「抽象的過ぎるし如何わしくない」ということは成り立たない

仮説: 「「仮に哀れっぽくないとしたら「抽象的過ぎるが如何わしいということはない」ということは事実と異なる」物はある」ということは誤りである
1. 事実1から、推論1: "もし仮に「あのページ設定は哀れっぽくない」ということは正しいならば「抽象的過ぎるけれど如何わしくない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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