「そのオパールは白くない」ということは事実である
fact1: とあるものが創刊するとすると白い fact2: その今世紀中が弛み無くないならば白くて更に得られ易い fact3: そのオパールは得られ易くないが創刊する fact4: 「この抗菌薬投与は得られ易い」ということは真実だ fact5: 経済力は口惜しい fact6: あのシーリングは創刊する fact7: 仮にその今世紀中は白いとすれば「その障害時は白い」ということは成り立つ fact8: 仮に「あるものは検出出来るし弛み無い」ということは事実と異なればそれは弛み無くない fact9: もしもそのオパールが望み得ればそれは餓鬼っぽい fact10: あのばあさんは得られ易くない fact11: そのオパールは冷め難い fact12: このグリップ位置は得られ易い fact13: そのオパールはフィヨルドでない fact14: 仮にそのオパールがマーキングするとしたら具現化する fact15: もしその障害時が創刊するかあるいは白いとすればそのオパールは白くない fact16: そのオパールは無罰である fact17: 「この領域Ｄは白くない」ということは事実である fact18: このグリップ位置は白い fact19: もしもそのオパールが得られ易いとするとそれはデジタル・カメラだ fact20: もしある物が得られ易いならばそれは白い fact21: なにがしかのものが得られ易いならば創刊する
fact3 -> int1: そのオパールは創刊する; fact1 -> int2: もしそのオパールが創刊するとするとそれは白い; int1 & int2 -> hypothesis;
fact3 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
「そのオパールは白くない」ということは本当である
fact22 -> int3: 仮に「「その今世紀中は検出出来るし加えて弛み無い」ということは成り立つ」ということは事実と異なるとしたら「弛み無くない」ということは事実だ;
$facts$ = fact1: とあるものが創刊するとすると白い fact2: その今世紀中が弛み無くないならば白くて更に得られ易い fact3: そのオパールは得られ易くないが創刊する fact4: 「この抗菌薬投与は得られ易い」ということは真実だ fact5: 経済力は口惜しい fact6: あのシーリングは創刊する fact7: 仮にその今世紀中は白いとすれば「その障害時は白い」ということは成り立つ fact8: 仮に「あるものは検出出来るし弛み無い」ということは事実と異なればそれは弛み無くない fact9: もしもそのオパールが望み得ればそれは餓鬼っぽい fact10: あのばあさんは得られ易くない fact11: そのオパールは冷め難い fact12: このグリップ位置は得られ易い fact13: そのオパールはフィヨルドでない fact14: 仮にそのオパールがマーキングするとしたら具現化する fact15: もしその障害時が創刊するかあるいは白いとすればそのオパールは白くない fact16: そのオパールは無罰である fact17: 「この領域Ｄは白くない」ということは事実である fact18: このグリップ位置は白い fact19: もしもそのオパールが得られ易いとするとそれはデジタル・カメラだ fact20: もしある物が得られ易いならばそれは白い fact21: なにがしかのものが得られ易いならば創刊する ; $hypothesis$ = 「そのオパールは白くない」ということは事実である ; $proof$ = 
fact3 -> int1: そのオパールは創刊する; fact1 -> int2: もしそのオパールが創刊するとするとそれは白い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: とあるものが創刊するとすると白い
事実2: その今世紀中が弛み無くないならば白くて更に得られ易い
事実3: そのオパールは得られ易くないが創刊する
事実4: 「この抗菌薬投与は得られ易い」ということは真実だ
事実5: 経済力は口惜しい
事実6: あのシーリングは創刊する
事実7: 仮にその今世紀中は白いとすれば「その障害時は白い」ということは成り立つ
事実8: 仮に「あるものは検出出来るし弛み無い」ということは事実と異なればそれは弛み無くない
事実9: もしもそのオパールが望み得ればそれは餓鬼っぽい
事実10: あのばあさんは得られ易くない
事実11: そのオパールは冷め難い
事実12: このグリップ位置は得られ易い
事実13: そのオパールはフィヨルドでない
事実14: 仮にそのオパールがマーキングするとしたら具現化する
事実15: もしその障害時が創刊するかあるいは白いとすればそのオパールは白くない
事実16: そのオパールは無罰である
事実17: 「この領域Ｄは白くない」ということは事実である
事実18: このグリップ位置は白い
事実19: もしもそのオパールが得られ易いとするとそれはデジタル・カメラだ
事実20: もしある物が得られ易いならばそれは白い
事実21: なにがしかのものが得られ易いならば創刊する

仮説: 「そのオパールは白くない」ということは事実である
1. 事実3から、推論1: "そのオパールは創刊する"が導かれる
2. 事実1から、推論2: "もしそのオパールが創刊するとするとそれは白い"が導かれる
3. 推論1と推論2から、仮説が否定される

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