あのウェブサイト上は経験しないか丸っこいかもしくはどちらもである
fact1: 何らかの物はインターネット企業でないなら経験しないかもしくは丸っこいかまたは両方である fact2: あのウェブサイト上は性能であるなら堆くない fact3: もしもあのウェブサイト上はインターネット企業だとしたら「それは経験するということはないかまたはそれは丸っこい」ということは誤っている fact4: あの軍事予算は丸っこいということはない fact5: もし仮になにがしかの物は付け難くないなら「それがインターネット企業だしそれは支え続けない」ということは偽だ fact6: あの虎尾は経験しない fact7: あのウェブサイト上はインターネット企業である
fact3 & fact7 -> hypothesis;
fact3 & fact7 -> hypothesis;
あのウェブサイト上は経験しないかまたは丸っこいかどちらもだ
fact8 -> int1: 「もしあのウェブサイト上がインターネット企業でないならあのウェブサイト上は経験するということはないか丸っこいかどちらもだ」ということは事実だ; fact9 -> int2: もしもその点列は付け難いということはないとしたら「それはインターネット企業であるししかも支え続けるということはない」ということは成り立たない;
$facts$ = fact1: 何らかの物はインターネット企業でないなら経験しないかもしくは丸っこいかまたは両方である fact2: あのウェブサイト上は性能であるなら堆くない fact3: もしもあのウェブサイト上はインターネット企業だとしたら「それは経験するということはないかまたはそれは丸っこい」ということは誤っている fact4: あの軍事予算は丸っこいということはない fact5: もし仮になにがしかの物は付け難くないなら「それがインターネット企業だしそれは支え続けない」ということは偽だ fact6: あの虎尾は経験しない fact7: あのウェブサイト上はインターネット企業である ; $hypothesis$ = あのウェブサイト上は経験しないか丸っこいかもしくはどちらもである ; $proof$ = 
fact3 & fact7 -> hypothesis; __DISPROVED__
事実1: 何らかの物はインターネット企業でないなら経験しないかもしくは丸っこいかまたは両方である
事実2: あのウェブサイト上は性能であるなら堆くない
事実3: もしもあのウェブサイト上はインターネット企業だとしたら「それは経験するということはないかまたはそれは丸っこい」ということは誤っている
事実4: あの軍事予算は丸っこいということはない
事実5: もし仮になにがしかの物は付け難くないなら「それがインターネット企業だしそれは支え続けない」ということは偽だ
事実6: あの虎尾は経験しない
事実7: あのウェブサイト上はインターネット企業である

仮説: あのウェブサイト上は経験しないか丸っこいかもしくはどちらもである
1. 事実3と事実7から、仮説が否定される

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