「もしこの世界基準がきついかまたはぼろくないならばあの世界基準は湧き立つということはない」ということは嘘だ
fact1: きついかもしくはぼろくないかまたは両方ともである物は湧き立つ fact2: もし仮にこの世界基準がきついかぼろいかどちらもであるとしたらそれは湧き立たない fact3: なにがしかのものが本であるか取り崩さないとすると爆睡しない fact4: 仮に「なにかは臣下であるかまたは取り引き継続でないかあるいは両方ともだ」ということは本当だとすると「それはキャスタ角であるということはない」ということは成り立つ fact5: もし仮にこの世界基準がぼろいかあるいはそれはＨさんでないかもしくは両方なら「それは背けない」ということは成り立つ fact6: もし仮に何らかの物がきついかもしくはそれはぼろいかまたはどちらもだとしたら湧き立つということはない fact7: 胡散臭いかあるいははしたなくないものは著しかない fact8: もし仮にこの世界基準がきついかあるいはぼろくないか両方であるとしたら「湧き立つ」ということは確かである fact9: きついかあるいはぼろくないかもしくは両方であるものは湧き立たない fact10: もし仮に「この世界基準はきついかまたはそれはＨさんでない」ということは確かだとしたら思い定めるということはない fact11: もしとある物がきついなら湧き立つということはない fact12: 仮にこの世界基準がきついならそれは湧き立たない fact13: 仮になにかは大きいかそれは寝床でないかまたは両方ならそれは策定委員会でない
fact9 -> hypothesis;
fact9 -> hypothesis;
$facts$ = fact1: きついかもしくはぼろくないかまたは両方ともである物は湧き立つ fact2: もし仮にこの世界基準がきついかぼろいかどちらもであるとしたらそれは湧き立たない fact3: なにがしかのものが本であるか取り崩さないとすると爆睡しない fact4: 仮に「なにかは臣下であるかまたは取り引き継続でないかあるいは両方ともだ」ということは本当だとすると「それはキャスタ角であるということはない」ということは成り立つ fact5: もし仮にこの世界基準がぼろいかあるいはそれはＨさんでないかもしくは両方なら「それは背けない」ということは成り立つ fact6: もし仮に何らかの物がきついかもしくはそれはぼろいかまたはどちらもだとしたら湧き立つということはない fact7: 胡散臭いかあるいははしたなくないものは著しかない fact8: もし仮にこの世界基準がきついかあるいはぼろくないか両方であるとしたら「湧き立つ」ということは確かである fact9: きついかあるいはぼろくないかもしくは両方であるものは湧き立たない fact10: もし仮に「この世界基準はきついかまたはそれはＨさんでない」ということは確かだとしたら思い定めるということはない fact11: もしとある物がきついなら湧き立つということはない fact12: 仮にこの世界基準がきついならそれは湧き立たない fact13: 仮になにかは大きいかそれは寝床でないかまたは両方ならそれは策定委員会でない ; $hypothesis$ = 「もしこの世界基準がきついかまたはぼろくないならばあの世界基準は湧き立つということはない」ということは嘘だ ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: きついかもしくはぼろくないかまたは両方ともである物は湧き立つ
事実2: もし仮にこの世界基準がきついかぼろいかどちらもであるとしたらそれは湧き立たない
事実3: なにがしかのものが本であるか取り崩さないとすると爆睡しない
事実4: 仮に「なにかは臣下であるかまたは取り引き継続でないかあるいは両方ともだ」ということは本当だとすると「それはキャスタ角であるということはない」ということは成り立つ
事実5: もし仮にこの世界基準がぼろいかあるいはそれはＨさんでないかもしくは両方なら「それは背けない」ということは成り立つ
事実6: もし仮に何らかの物がきついかもしくはそれはぼろいかまたはどちらもだとしたら湧き立つということはない
事実7: 胡散臭いかあるいははしたなくないものは著しかない
事実8: もし仮にこの世界基準がきついかあるいはぼろくないか両方であるとしたら「湧き立つ」ということは確かである
事実9: きついかあるいはぼろくないかもしくは両方であるものは湧き立たない
事実10: もし仮に「この世界基準はきついかまたはそれはＨさんでない」ということは確かだとしたら思い定めるということはない
事実11: もしとある物がきついなら湧き立つということはない
事実12: 仮にこの世界基準がきついならそれは湧き立たない
事実13: 仮になにかは大きいかそれは寝床でないかまたは両方ならそれは策定委員会でない

仮説: 「もしこの世界基準がきついかまたはぼろくないならばあの世界基準は湧き立つということはない」ということは嘘だ
1. 事実9から、仮説が否定される

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