「「仮に神々しかないならば良くない」ものはある」ということは成り立つということはない
fact1: 「上梓するとすると回りくどくない」ものはある fact2: もしもこの七月末が神々しかないならそれは良くない fact3: もし仮にその四日以上が転がり始めるということはないとすれば反問する fact4: もしとあるものは別課税一覧でないとしたら複雑さであるということはない
fact2 -> hypothesis;
fact2 -> hypothesis;
「仮に別課税一覧でないとすると複雑さでない」ものはある
fact5 -> int1: もしあの広まりは別課税一覧であるということはないとしたら「それは複雑さでない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「上梓するとすると回りくどくない」ものはある fact2: もしもこの七月末が神々しかないならそれは良くない fact3: もし仮にその四日以上が転がり始めるということはないとすれば反問する fact4: もしとあるものは別課税一覧でないとしたら複雑さであるということはない ; $hypothesis$ = 「「仮に神々しかないならば良くない」ものはある」ということは成り立つということはない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「上梓するとすると回りくどくない」ものはある
事実2: もしもこの七月末が神々しかないならそれは良くない
事実3: もし仮にその四日以上が転がり始めるということはないとすれば反問する
事実4: もしとあるものは別課税一覧でないとしたら複雑さであるということはない

仮説: 「「仮に神々しかないならば良くない」ものはある」ということは成り立つということはない
1. 事実2から、仮説が否定される

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