「「もし更新しないかもしくは美しないかあるいは両方だとすれば心細い」ものはある」ということは事実と異なる
fact1: 「仮に更新しないかあるいは美しかもしくは両方ともなら心細い」ものはある fact2: もしもあの七時頃は腐り易くないかまたは心細くないかまたは両方ともであるならば「切ない」ということは間違いでない fact3: 仮になんらかのものがアフメット王子でないかそれは持ち上がらないかまたは両方であるとすると「それは飲み過ぎる」ということは成り立つ fact4: もしその時代像は更新しないかまたは美しかもしくはどちらもであるとしたら心細い fact5: 「もし更新するかあるいは美しないとすれば心細い」ものはある fact6: その時代像が宜しないかそれは作り置きしないかどちらもであるとしたら「それは余白部分である」ということは成り立つ fact7: 仮にその時代像は更新しないかあるいは美しないかもしくはどちらもならば心細い fact8: もしもその時代像が更新しないとするとそれは心細い fact9: 「美しないなら心細い」ものはある fact10: 「「更新しない」ということは本当であるとすれば心細い」ものはある
fact7 -> hypothesis;
「もし仮にアフメット王子でないかまたは持ち上がらないかあるいは両方ともであるならば飲み過ぎる」ものはある
fact11 -> int1: あの死界がアフメット王子でないかあるいは持ち上がらないならそれは飲み過ぎる; int1 -> hypothesis;
$facts$ = fact1: 「仮に更新しないかあるいは美しかもしくは両方ともなら心細い」ものはある fact2: もしもあの七時頃は腐り易くないかまたは心細くないかまたは両方ともであるならば「切ない」ということは間違いでない fact3: 仮になんらかのものがアフメット王子でないかそれは持ち上がらないかまたは両方であるとすると「それは飲み過ぎる」ということは成り立つ fact4: もしその時代像は更新しないかまたは美しかもしくはどちらもであるとしたら心細い fact5: 「もし更新するかあるいは美しないとすれば心細い」ものはある fact6: その時代像が宜しないかそれは作り置きしないかどちらもであるとしたら「それは余白部分である」ということは成り立つ fact7: 仮にその時代像は更新しないかあるいは美しないかもしくはどちらもならば心細い fact8: もしもその時代像が更新しないとするとそれは心細い fact9: 「美しないなら心細い」ものはある fact10: 「「更新しない」ということは本当であるとすれば心細い」ものはある ; $hypothesis$ = 「「もし更新しないかもしくは美しないかあるいは両方だとすれば心細い」ものはある」ということは事実と異なる ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「仮に更新しないかあるいは美しかもしくは両方ともなら心細い」ものはある
事実2: もしもあの七時頃は腐り易くないかまたは心細くないかまたは両方ともであるならば「切ない」ということは間違いでない
事実3: 仮になんらかのものがアフメット王子でないかそれは持ち上がらないかまたは両方であるとすると「それは飲み過ぎる」ということは成り立つ
事実4: もしその時代像は更新しないかまたは美しかもしくはどちらもであるとしたら心細い
事実5: 「もし更新するかあるいは美しないとすれば心細い」ものはある
事実6: その時代像が宜しないかそれは作り置きしないかどちらもであるとしたら「それは余白部分である」ということは成り立つ
事実7: 仮にその時代像は更新しないかあるいは美しないかもしくはどちらもならば心細い
事実8: もしもその時代像が更新しないとするとそれは心細い
事実9: 「美しないなら心細い」ものはある
事実10: 「「更新しない」ということは本当であるとすれば心細い」ものはある

仮説: 「「もし更新しないかもしくは美しないかあるいは両方だとすれば心細い」ものはある」ということは事実と異なる
1. 事実7から、仮説が否定される

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