そのブルーマーは部族内反対派でなくてかつ素早くない
fact1: あのハロゲンがＷＭＡであるとすればあの博打は育ち難い fact2: この摂生は研究目標である fact3: あのハロゲンは育ち難いかまたは話し易いかあるいはどちらもである fact4: もしもとある物が貨幣地代でないがそれはＷＭＡであるなら話し易くない fact5: もしもあのハロゲンが育ち難いならそのブルーマーは部族内反対派でないし更に素早くない fact6: 仮に「冷え冷えするし抜き取れる」物があればあの博打は部族内反対派だ fact7: ＷＭＡは冷え冷えするとすれば「あのハロゲンは育ち難い」ということは間違っていない fact8: もし仮にあの博打は研究目標であるとすれば「冷え冷えする」ということは事実だ fact9: もしなにがしかの物が冷え冷えしないならそれは貨幣地代だということはなくてそれはＷＭＡだ fact10: もしなにがしかのものが幼くないとするとこの摂生は話し易いかあるいは貨幣地代だ fact11: そのブルーマーは抜き取れないしまた素早くない fact12: 仮にあのハロゲンが育ち難いとするとそのブルーマーは素早くない fact13: 「素早い」物はある fact14: なにかは幼くない fact15: あの博打は抜き取れるしさらにそれは研究目標である fact16: もしもあのハロゲンは貨幣地代ならば「この摂生は育ち難い」ということは真実である fact17: あの博打は抜き取れる fact18: 仮にこの摂生が貨幣地代であるならあの博打はＷＭＡである fact19: 何らかのものは本人達でない fact20: なにがしかの物が抜き取れるしおまけに育ち難いならあの博打は研究目標である fact21: もしもこの摂生は話し易いということはないとすれば「あのハロゲンは抜き取れるし更にそれは幼い」ということは成り立つ fact22: もし仮にこの摂生が話し易いならあの博打はＷＭＡである fact23: もし仮にそのブルーマーは研究目標であるならそれは復す fact24: 「「ＷＭＡである」ということは事実な」物はある fact25: 「あの表示単位未満は話し易くない」ということは確かである fact26: もしもこの摂生が部族内反対派であるとすればあのブルーマーは貨幣地代だ fact27: もし「冷え冷えするし担当出来る」ものがあるとするとあの解釈者はＯＭＩである fact28: 仮に何かは幼くないとしたら「部族内反対派でなくてそれは素早くない」ということは成り立つということはない
fact14 & fact10 -> int1: この摂生は話し易いかあるいはそれは貨幣地代である; int1 & fact22 & fact18 -> int2: あの博打はＷＭＡである; fact15 -> int3: あの博打は研究目標である; int3 & fact8 -> int4: あの博打は冷え冷えする; int2 & int4 -> int5: あの博打はＷＭＡでかつ冷え冷えする; int5 -> int6: 「ＷＭＡだし加えて冷え冷えする」ものはある; int6 & fact7 -> int7: あのハロゲンは育ち難い; int7 & fact5 -> hypothesis;
あのハロゲンは抜き取れる
fact30 -> int8: もしこの摂生は貨幣地代でない一方でＷＭＡだとすれば「話し易くない」ということは正しい; fact29 -> int9: もし仮に「この摂生は冷え冷えしない」ということは成り立つとすると貨幣地代であるということはないがＷＭＡだ;
$facts$ = fact1: あのハロゲンがＷＭＡであるとすればあの博打は育ち難い fact2: この摂生は研究目標である fact3: あのハロゲンは育ち難いかまたは話し易いかあるいはどちらもである fact4: もしもとある物が貨幣地代でないがそれはＷＭＡであるなら話し易くない fact5: もしもあのハロゲンが育ち難いならそのブルーマーは部族内反対派でないし更に素早くない fact6: 仮に「冷え冷えするし抜き取れる」物があればあの博打は部族内反対派だ fact7: ＷＭＡは冷え冷えするとすれば「あのハロゲンは育ち難い」ということは間違っていない fact8: もし仮にあの博打は研究目標であるとすれば「冷え冷えする」ということは事実だ fact9: もしなにがしかの物が冷え冷えしないならそれは貨幣地代だということはなくてそれはＷＭＡだ fact10: もしなにがしかのものが幼くないとするとこの摂生は話し易いかあるいは貨幣地代だ fact11: そのブルーマーは抜き取れないしまた素早くない fact12: 仮にあのハロゲンが育ち難いとするとそのブルーマーは素早くない fact13: 「素早い」物はある fact14: なにかは幼くない fact15: あの博打は抜き取れるしさらにそれは研究目標である fact16: もしもあのハロゲンは貨幣地代ならば「この摂生は育ち難い」ということは真実である fact17: あの博打は抜き取れる fact18: 仮にこの摂生が貨幣地代であるならあの博打はＷＭＡである fact19: 何らかのものは本人達でない fact20: なにがしかの物が抜き取れるしおまけに育ち難いならあの博打は研究目標である fact21: もしもこの摂生は話し易いということはないとすれば「あのハロゲンは抜き取れるし更にそれは幼い」ということは成り立つ fact22: もし仮にこの摂生が話し易いならあの博打はＷＭＡである fact23: もし仮にそのブルーマーは研究目標であるならそれは復す fact24: 「「ＷＭＡである」ということは事実な」物はある fact25: 「あの表示単位未満は話し易くない」ということは確かである fact26: もしもこの摂生が部族内反対派であるとすればあのブルーマーは貨幣地代だ fact27: もし「冷え冷えするし担当出来る」ものがあるとするとあの解釈者はＯＭＩである fact28: 仮に何かは幼くないとしたら「部族内反対派でなくてそれは素早くない」ということは成り立つということはない ; $hypothesis$ = そのブルーマーは部族内反対派でなくてかつ素早くない ; $proof$ = 
fact14 & fact10 -> int1: この摂生は話し易いかあるいはそれは貨幣地代である; int1 & fact22 & fact18 -> int2: あの博打はＷＭＡである; fact15 -> int3: あの博打は研究目標である; int3 & fact8 -> int4: あの博打は冷え冷えする; int2 & int4 -> int5: あの博打はＷＭＡでかつ冷え冷えする; int5 -> int6: 「ＷＭＡだし加えて冷え冷えする」ものはある; int6 & fact7 -> int7: あのハロゲンは育ち難い; int7 & fact5 -> hypothesis; __PROVED__
事実1: あのハロゲンがＷＭＡであるとすればあの博打は育ち難い
事実2: この摂生は研究目標である
事実3: あのハロゲンは育ち難いかまたは話し易いかあるいはどちらもである
事実4: もしもとある物が貨幣地代でないがそれはＷＭＡであるなら話し易くない
事実5: もしもあのハロゲンが育ち難いならそのブルーマーは部族内反対派でないし更に素早くない
事実6: 仮に「冷え冷えするし抜き取れる」物があればあの博打は部族内反対派だ
事実7: ＷＭＡは冷え冷えするとすれば「あのハロゲンは育ち難い」ということは間違っていない
事実8: もし仮にあの博打は研究目標であるとすれば「冷え冷えする」ということは事実だ
事実9: もしなにがしかの物が冷え冷えしないならそれは貨幣地代だということはなくてそれはＷＭＡだ
事実10: もしなにがしかのものが幼くないとするとこの摂生は話し易いかあるいは貨幣地代だ
事実11: そのブルーマーは抜き取れないしまた素早くない
事実12: 仮にあのハロゲンが育ち難いとするとそのブルーマーは素早くない
事実13: 「素早い」物はある
事実14: なにかは幼くない
事実15: あの博打は抜き取れるしさらにそれは研究目標である
事実16: もしもあのハロゲンは貨幣地代ならば「この摂生は育ち難い」ということは真実である
事実17: あの博打は抜き取れる
事実18: 仮にこの摂生が貨幣地代であるならあの博打はＷＭＡである
事実19: 何らかのものは本人達でない
事実20: なにがしかの物が抜き取れるしおまけに育ち難いならあの博打は研究目標である
事実21: もしもこの摂生は話し易いということはないとすれば「あのハロゲンは抜き取れるし更にそれは幼い」ということは成り立つ
事実22: もし仮にこの摂生が話し易いならあの博打はＷＭＡである
事実23: もし仮にそのブルーマーは研究目標であるならそれは復す
事実24: 「「ＷＭＡである」ということは事実な」物はある
事実25: 「あの表示単位未満は話し易くない」ということは確かである
事実26: もしもこの摂生が部族内反対派であるとすればあのブルーマーは貨幣地代だ
事実27: もし「冷え冷えするし担当出来る」ものがあるとするとあの解釈者はＯＭＩである
事実28: 仮に何かは幼くないとしたら「部族内反対派でなくてそれは素早くない」ということは成り立つということはない

仮説: そのブルーマーは部族内反対派でなくてかつ素早くない
1. 事実14と事実10から、推論1: "この摂生は話し易いかあるいはそれは貨幣地代である"が導かれる
2. 推論1と事実22と事実18から、推論2: "あの博打はＷＭＡである"が導かれる
3. 事実15から、推論3: "あの博打は研究目標である"が導かれる
4. 推論3と事実8から、推論4: "あの博打は冷え冷えする"が導かれる
5. 推論2と推論4から、推論5: "あの博打はＷＭＡでかつ冷え冷えする"が導かれる
6. 推論5から、推論6: "「ＷＭＡだし加えて冷え冷えする」ものはある"が導かれる
7. 推論6と事実7から、推論7: "あのハロゲンは育ち難い"が導かれる
8. 推論7と事実5から、仮説が導かれる

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