「「もしも治世下でないか各保険でないかどちらもなら霊能力でない」ものはある」ということは成り立たない
fact1: 「もし仮に横須賀支店でないかあるいは斬罪であるかもしくは両方であるとすれば「喪中だということはない」ということは成り立つ」ものはある fact2: 「もし仮に痛々しくないかあるいは取り混ぜないか両方ならジャコバン主義でない」物はある fact3: もしもこの上場企業は治世下であるかあるいは各保険でないとしたら「それは霊能力でない」ということは確かである fact4: 仮にこの上場企業が治世下でないかあるいはそれは各保険でないならそれは霊能力でない
fact4 -> hypothesis;
$facts$ = fact1: 「もし仮に横須賀支店でないかあるいは斬罪であるかもしくは両方であるとすれば「喪中だということはない」ということは成り立つ」ものはある fact2: 「もし仮に痛々しくないかあるいは取り混ぜないか両方ならジャコバン主義でない」物はある fact3: もしもこの上場企業は治世下であるかあるいは各保険でないとしたら「それは霊能力でない」ということは確かである fact4: 仮にこの上場企業が治世下でないかあるいはそれは各保険でないならそれは霊能力でない ; $hypothesis$ = 「「もしも治世下でないか各保険でないかどちらもなら霊能力でない」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「もし仮に横須賀支店でないかあるいは斬罪であるかもしくは両方であるとすれば「喪中だということはない」ということは成り立つ」ものはある
事実2: 「もし仮に痛々しくないかあるいは取り混ぜないか両方ならジャコバン主義でない」物はある
事実3: もしもこの上場企業は治世下であるかあるいは各保険でないとしたら「それは霊能力でない」ということは確かである
事実4: 仮にこの上場企業が治世下でないかあるいはそれは各保険でないならそれは霊能力でない

仮説: 「「もしも治世下でないか各保険でないかどちらもなら霊能力でない」ものはある」ということは成り立たない
1. 事実4から、仮説が否定される

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