そのコンピューティングは鬱積する
fact1: この掛け金は鬱積しない fact2: そのオートラジオグラフィは鬱積するということはない fact3: そのコンピューティングはマンドラゴラでない fact4: 生え易くない物は鬱積するし更に育ち難い fact5: そのコンピューティングは雑居しない fact6: もし仮に「何かは鬱積しないかあるいは育ち難くないか両方だ」ということは事実だとしたら鬱積しない fact7: あの抗酸化力は鬱積しない fact8: そのコンピューティングは鬱積しない
fact8 -> hypothesis;
fact8 -> hypothesis;
「あの会員企業は鬱積しない」ということは確かである
fact9 -> int1: もしあの会員企業が鬱積しないかもしくはそれは育ち難くないかまたは両方ともであるとすると鬱積しない;
$facts$ = fact1: この掛け金は鬱積しない fact2: そのオートラジオグラフィは鬱積するということはない fact3: そのコンピューティングはマンドラゴラでない fact4: 生え易くない物は鬱積するし更に育ち難い fact5: そのコンピューティングは雑居しない fact6: もし仮に「何かは鬱積しないかあるいは育ち難くないか両方だ」ということは事実だとしたら鬱積しない fact7: あの抗酸化力は鬱積しない fact8: そのコンピューティングは鬱積しない ; $hypothesis$ = そのコンピューティングは鬱積する ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: この掛け金は鬱積しない
事実2: そのオートラジオグラフィは鬱積するということはない
事実3: そのコンピューティングはマンドラゴラでない
事実4: 生え易くない物は鬱積するし更に育ち難い
事実5: そのコンピューティングは雑居しない
事実6: もし仮に「何かは鬱積しないかあるいは育ち難くないか両方だ」ということは事実だとしたら鬱積しない
事実7: あの抗酸化力は鬱積しない
事実8: そのコンピューティングは鬱積しない

仮説: そのコンピューティングは鬱積する
1. 事実8から、仮説が否定される

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