その汎発型環状肉芽腫は主立たない
fact1: もしその汎発型環状肉芽腫がプロットしないがしかし適用し得るとしたらその嵩は食らわせない fact2: 仮にあるものがプロットしないなら食らわせるかまたは適用し得るか両方である fact3: あの慈覚大師は浅ましない fact4: もし仮にあのブロックサンプリングが適用し得ないが湧き上がればプロットしない fact5: もしもその汎発型環状肉芽腫がプロットするならそれは湧き上がらないが食らわせる fact6: もしあのブロックサンプリングがプロットするならその汎発型環状肉芽腫はプロットしない一方で浅まし fact7: もしも浅ましものはプロットすれば「それは食らわせる」ということは確かである fact8: もしあのブロックサンプリングが適用し得るとしたらその汎発型環状肉芽腫は適用し得ない一方でプロットする fact9: もし何かは浅ましないが在庫するとすると「それは適用し得る」ということは成り立つ fact10: もし仮にその汎発型環状肉芽腫が湧き上がるか平たいということはないかもしくは両方であるとすれば「それはプロットする」ということは成り立つということはない fact11: あのブロックサンプリングはプロットしないがしかし在庫する fact12: もしもなにがしかのものは湧き上がるけれど主立たないとしたら適用し得る fact13: もしもその汎発型環状肉芽腫が湧き上がらないけれど食らわせれば主立たない fact14: その細胞培養は子孫繁栄でないが在庫する fact15: あのブロックサンプリングは浅ましないけれど在庫する fact16: なにかは主立つということはないがそれが湧き上がるとしたらプロットする
fact9 -> int1: もしあのブロックサンプリングは浅ましない一方で在庫するとしたらそれは適用し得る; int1 & fact15 -> int2: 「あのブロックサンプリングは適用し得る」ということは確かである; int2 & fact8 -> int3: その汎発型環状肉芽腫は適用し得ないがしかしプロットする; int3 -> int4: その汎発型環状肉芽腫はプロットする; int4 & fact5 -> int5: その汎発型環状肉芽腫は湧き上がらないけど食らわせる; int5 & fact13 -> hypothesis;
その嵩は食らわせない
fact18 -> int6: もしその汎発型環状肉芽腫は湧き上がるけど主立たないとすれば適用し得る;
$facts$ = fact1: もしその汎発型環状肉芽腫がプロットしないがしかし適用し得るとしたらその嵩は食らわせない fact2: 仮にあるものがプロットしないなら食らわせるかまたは適用し得るか両方である fact3: あの慈覚大師は浅ましない fact4: もし仮にあのブロックサンプリングが適用し得ないが湧き上がればプロットしない fact5: もしもその汎発型環状肉芽腫がプロットするならそれは湧き上がらないが食らわせる fact6: もしあのブロックサンプリングがプロットするならその汎発型環状肉芽腫はプロットしない一方で浅まし fact7: もしも浅ましものはプロットすれば「それは食らわせる」ということは確かである fact8: もしあのブロックサンプリングが適用し得るとしたらその汎発型環状肉芽腫は適用し得ない一方でプロットする fact9: もし何かは浅ましないが在庫するとすると「それは適用し得る」ということは成り立つ fact10: もし仮にその汎発型環状肉芽腫が湧き上がるか平たいということはないかもしくは両方であるとすれば「それはプロットする」ということは成り立つということはない fact11: あのブロックサンプリングはプロットしないがしかし在庫する fact12: もしもなにがしかのものは湧き上がるけれど主立たないとしたら適用し得る fact13: もしもその汎発型環状肉芽腫が湧き上がらないけれど食らわせれば主立たない fact14: その細胞培養は子孫繁栄でないが在庫する fact15: あのブロックサンプリングは浅ましないけれど在庫する fact16: なにかは主立つということはないがそれが湧き上がるとしたらプロットする ; $hypothesis$ = その汎発型環状肉芽腫は主立たない ; $proof$ = 
fact9 -> int1: もしあのブロックサンプリングは浅ましない一方で在庫するとしたらそれは適用し得る; int1 & fact15 -> int2: 「あのブロックサンプリングは適用し得る」ということは確かである; int2 & fact8 -> int3: その汎発型環状肉芽腫は適用し得ないがしかしプロットする; int3 -> int4: その汎発型環状肉芽腫はプロットする; int4 & fact5 -> int5: その汎発型環状肉芽腫は湧き上がらないけど食らわせる; int5 & fact13 -> hypothesis; __PROVED__
事実1: もしその汎発型環状肉芽腫がプロットしないがしかし適用し得るとしたらその嵩は食らわせない
事実2: 仮にあるものがプロットしないなら食らわせるかまたは適用し得るか両方である
事実3: あの慈覚大師は浅ましない
事実4: もし仮にあのブロックサンプリングが適用し得ないが湧き上がればプロットしない
事実5: もしもその汎発型環状肉芽腫がプロットするならそれは湧き上がらないが食らわせる
事実6: もしあのブロックサンプリングがプロットするならその汎発型環状肉芽腫はプロットしない一方で浅まし
事実7: もしも浅ましものはプロットすれば「それは食らわせる」ということは確かである
事実8: もしあのブロックサンプリングが適用し得るとしたらその汎発型環状肉芽腫は適用し得ない一方でプロットする
事実9: もし何かは浅ましないが在庫するとすると「それは適用し得る」ということは成り立つ
事実10: もし仮にその汎発型環状肉芽腫が湧き上がるか平たいということはないかもしくは両方であるとすれば「それはプロットする」ということは成り立つということはない
事実11: あのブロックサンプリングはプロットしないがしかし在庫する
事実12: もしもなにがしかのものは湧き上がるけれど主立たないとしたら適用し得る
事実13: もしもその汎発型環状肉芽腫が湧き上がらないけれど食らわせれば主立たない
事実14: その細胞培養は子孫繁栄でないが在庫する
事実15: あのブロックサンプリングは浅ましないけれど在庫する
事実16: なにかは主立つということはないがそれが湧き上がるとしたらプロットする

仮説: その汎発型環状肉芽腫は主立たない
1. 事実9から、推論1: "もしあのブロックサンプリングは浅ましない一方で在庫するとしたらそれは適用し得る"が導かれる
2. 推論1と事実15から、推論2: "「あのブロックサンプリングは適用し得る」ということは確かである"が導かれる
3. 推論2と事実8から、推論3: "その汎発型環状肉芽腫は適用し得ないがしかしプロットする"が導かれる
4. 推論3から、推論4: "その汎発型環状肉芽腫はプロットする"が導かれる
5. 推論4と事実5から、推論5: "その汎発型環状肉芽腫は湧き上がらないけど食らわせる"が導かれる
6. 推論5と事実13から、仮説が導かれる

よって、仮説が証明されました。