「「もし迷信深くないとしたら「毎晩でないかもしくは赴任するかまたはどちらもである」ということは成り立つということはない」ものはある」ということは嘘だ
fact1: もし仮にとあるものは気難しくないとすれば「取り集めないかもしくは毎晩だ」ということは成り立たない fact2: 「「迷信深くないならば毎晩な」物はある」ということは成り立つ fact3: そのＷＡＣＬは迷信深いならば「毎晩でないかあるいはそれは赴任する」ということは間違っている fact4: 仮に「そのＷＡＣＬは迷信深くない」ということは正しいとすると「毎晩であるかもしくは赴任するか両方だ」ということは偽である fact5: 仮にそのＷＡＣＬは迷信深くないとすれば「それは毎晩でないか赴任する」ということは成り立たない fact6: 仮にそのＷＡＣＬが迷信深くないとすればそれは毎晩でないかあるいは赴任するかあるいは両方ともである fact7: 「仮に迷信深いとすると「毎晩でないかもしくは赴任するかまたはどちらもである」ということは偽な」物はある
fact5 -> hypothesis;
もしもその天書は気難しくないとすれば「取り集めないかもしくは毎晩だ」ということは間違いだ
fact8 -> hypothesis;
$facts$ = fact1: もし仮にとあるものは気難しくないとすれば「取り集めないかもしくは毎晩だ」ということは成り立たない fact2: 「「迷信深くないならば毎晩な」物はある」ということは成り立つ fact3: そのＷＡＣＬは迷信深いならば「毎晩でないかあるいはそれは赴任する」ということは間違っている fact4: 仮に「そのＷＡＣＬは迷信深くない」ということは正しいとすると「毎晩であるかもしくは赴任するか両方だ」ということは偽である fact5: 仮にそのＷＡＣＬは迷信深くないとすれば「それは毎晩でないか赴任する」ということは成り立たない fact6: 仮にそのＷＡＣＬが迷信深くないとすればそれは毎晩でないかあるいは赴任するかあるいは両方ともである fact7: 「仮に迷信深いとすると「毎晩でないかもしくは赴任するかまたはどちらもである」ということは偽な」物はある ; $hypothesis$ = 「「もし迷信深くないとしたら「毎晩でないかもしくは赴任するかまたはどちらもである」ということは成り立つということはない」ものはある」ということは嘘だ ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものは気難しくないとすれば「取り集めないかもしくは毎晩だ」ということは成り立たない
事実2: 「「迷信深くないならば毎晩な」物はある」ということは成り立つ
事実3: そのＷＡＣＬは迷信深いならば「毎晩でないかあるいはそれは赴任する」ということは間違っている
事実4: 仮に「そのＷＡＣＬは迷信深くない」ということは正しいとすると「毎晩であるかもしくは赴任するか両方だ」ということは偽である
事実5: 仮にそのＷＡＣＬは迷信深くないとすれば「それは毎晩でないか赴任する」ということは成り立たない
事実6: 仮にそのＷＡＣＬが迷信深くないとすればそれは毎晩でないかあるいは赴任するかあるいは両方ともである
事実7: 「仮に迷信深いとすると「毎晩でないかもしくは赴任するかまたはどちらもである」ということは偽な」物はある

仮説: 「「もし迷信深くないとしたら「毎晩でないかもしくは赴任するかまたはどちらもである」ということは成り立つということはない」ものはある」ということは嘘だ
1. 事実5から、仮説が否定される

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