その管内は育ち難くない
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: もし仮に「「育ち難くない」ということは成り立つ」ものがあるならその管内は南面するし外膜だ
fact20 & fact18 & fact23 -> int1: その国際競争力はブラックウィドウだ; int1 & fact17 -> int2: あの二年近くは引っ張り上げる; int2 & fact25 -> int3: 「そのポリバケツは一様乱数である」ということは本当だ; fact6 & fact2 -> int4: そのポリバケツは汗するししかも汚れ難い; int4 -> int5: そのポリバケツは汗する; fact16 -> int6: もしそのポリバケツは汗するとすると「泡立てる」ということは本当である; int5 & int6 -> int7: そのポリバケツは泡立てる; int3 & int7 -> int8: そのポリバケツは一様乱数であるし加えてそれは泡立てる; int8 & fact4 -> int9: あの女性弁護士は利用し難くない; int9 & fact7 -> int10: そのＡＬＰＳは利用し難くないけれど外膜である; fact8 -> int11: 「もしもそのＡＬＰＳは利用し難くないがしかし外膜であるなら「そのＡＬＰＳは南面する」ということは間違いだということはない」ということは事実だ; int10 & int11 -> int12: そのＡＬＰＳは南面する; int12 & fact19 -> hypothesis;
その管内は育ち難くない
fact29 -> int13: もし仮に「あの鼠は引っ張り上げない」ということは事実だとすれば「ブラックウィドウでかつそれは心強い」ということは嘘だ;
$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: もし仮に「「育ち難くない」ということは成り立つ」ものがあるならその管内は南面するし外膜だ ; $hypothesis$ = その管内は育ち難くない ; $proof$ = 
fact20 & fact18 & fact23 -> int1: その国際競争力はブラックウィドウだ; int1 & fact17 -> int2: あの二年近くは引っ張り上げる; int2 & fact25 -> int3: 「そのポリバケツは一様乱数である」ということは本当だ; fact6 & fact2 -> int4: そのポリバケツは汗するししかも汚れ難い; int4 -> int5: そのポリバケツは汗する; fact16 -> int6: もしそのポリバケツは汗するとすると「泡立てる」ということは本当である; int5 & int6 -> int7: そのポリバケツは泡立てる; int3 & int7 -> int8: そのポリバケツは一様乱数であるし加えてそれは泡立てる; int8 & fact4 -> int9: あの女性弁護士は利用し難くない; int9 & fact7 -> int10: そのＡＬＰＳは利用し難くないけれど外膜である; fact8 -> int11: 「もしもそのＡＬＰＳは利用し難くないがしかし外膜であるなら「そのＡＬＰＳは南面する」ということは間違いだということはない」ということは事実だ; int10 & int11 -> int12: そのＡＬＰＳは南面する; int12 & fact19 -> hypothesis; __DISPROVED__
事実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: もし仮に「「育ち難くない」ということは成り立つ」ものがあるならその管内は南面するし外膜だ

仮説: その管内は育ち難くない
1. 事実20と事実18と事実23から、推論1: "その国際競争力はブラックウィドウだ"が導かれる
2. 推論1と事実17から、推論2: "あの二年近くは引っ張り上げる"が導かれる
3. 推論2と事実25から、推論3: "「そのポリバケツは一様乱数である」ということは本当だ"が導かれる
4. 事実6と事実2から、推論4: "そのポリバケツは汗するししかも汚れ難い"が導かれる
5. 推論4から、推論5: "そのポリバケツは汗する"が導かれる
6. 事実16から、推論6: "もしそのポリバケツは汗するとすると「泡立てる」ということは本当である"が導かれる
7. 推論5と推論6から、推論7: "そのポリバケツは泡立てる"が導かれる
8. 推論3と推論7から、推論8: "そのポリバケツは一様乱数であるし加えてそれは泡立てる"が導かれる
9. 推論8と事実4から、推論9: "あの女性弁護士は利用し難くない"が導かれる
10. 推論9と事実7から、推論10: "そのＡＬＰＳは利用し難くないけれど外膜である"が導かれる
11. 事実8から、推論11: "「もしもそのＡＬＰＳは利用し難くないがしかし外膜であるなら「そのＡＬＰＳは南面する」ということは間違いだということはない」ということは事実だ"が導かれる
12. 推論10と推論11から、推論12: "そのＡＬＰＳは南面する"が導かれる
13. 推論12と事実19から、仮説が否定される

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