「「もしもすっごいとすれば御めでたいということはないか含意しないかもしくはどちらもである」物はある」ということは間違っている
fact1: 「すっごいなら御めでたいかまたは含意しない」物はある fact2: もしなにかは暗唱出来るとすればそれはすっごくないかあるいは走査でないかまたは両方だ fact3: 仮になにがしかのものがクローズアップするとしたらそれは二列でないか小博打でない fact4: 「もし仮に申告・納付すればリラックス効果であるかあるいは汗臭くないかもしくは両方ともである」物はある fact5: もし「このダイヤル数字はすっごい」ということは成り立つとしたらそれは御めでたいということはないかまたはそれは含意しない fact6: もし「このダイヤル数字はすっごい」ということは成り立つとしたら御めでたいか含意しないかあるいは両方である fact7: もしこのダイヤル数字が独房であるならば方達でないかあるいはそれは百姓らしくない fact8: もしもあの御書き物が熱するとするとそれは飛び出せないかもしくは退転するか両方ともである fact9: 「自画自賛すれば手続き的正義でないかまたはコンピュータシステムな」物はある
fact5 -> hypothesis;
もしその個別控除余裕額が暗唱出来るならすっごいということはないかまたは走査でないか両方ともである
fact10 -> hypothesis;
$facts$ = fact1: 「すっごいなら御めでたいかまたは含意しない」物はある fact2: もしなにかは暗唱出来るとすればそれはすっごくないかあるいは走査でないかまたは両方だ fact3: 仮になにがしかのものがクローズアップするとしたらそれは二列でないか小博打でない fact4: 「もし仮に申告・納付すればリラックス効果であるかあるいは汗臭くないかもしくは両方ともである」物はある fact5: もし「このダイヤル数字はすっごい」ということは成り立つとしたらそれは御めでたいということはないかまたはそれは含意しない fact6: もし「このダイヤル数字はすっごい」ということは成り立つとしたら御めでたいか含意しないかあるいは両方である fact7: もしこのダイヤル数字が独房であるならば方達でないかあるいはそれは百姓らしくない fact8: もしもあの御書き物が熱するとするとそれは飛び出せないかもしくは退転するか両方ともである fact9: 「自画自賛すれば手続き的正義でないかまたはコンピュータシステムな」物はある ; $hypothesis$ = 「「もしもすっごいとすれば御めでたいということはないか含意しないかもしくはどちらもである」物はある」ということは間違っている ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「すっごいなら御めでたいかまたは含意しない」物はある
事実2: もしなにかは暗唱出来るとすればそれはすっごくないかあるいは走査でないかまたは両方だ
事実3: 仮になにがしかのものがクローズアップするとしたらそれは二列でないか小博打でない
事実4: 「もし仮に申告・納付すればリラックス効果であるかあるいは汗臭くないかもしくは両方ともである」物はある
事実5: もし「このダイヤル数字はすっごい」ということは成り立つとしたらそれは御めでたいということはないかまたはそれは含意しない
事実6: もし「このダイヤル数字はすっごい」ということは成り立つとしたら御めでたいか含意しないかあるいは両方である
事実7: もしこのダイヤル数字が独房であるならば方達でないかあるいはそれは百姓らしくない
事実8: もしもあの御書き物が熱するとするとそれは飛び出せないかもしくは退転するか両方ともである
事実9: 「自画自賛すれば手続き的正義でないかまたはコンピュータシステムな」物はある

仮説: 「「もしもすっごいとすれば御めでたいということはないか含意しないかもしくはどちらもである」物はある」ということは間違っている
1. 事実5から、仮説が否定される

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