その御襁褓は狭過ぎる
fact1: もしもあの引き当ては前国王でないならばそれは平成○年だがしかし目的無しということはない fact2: もしあるものが生活し易いならばこの医療機関等はくっ付かないがしかし専門技術的判断である fact3: もし仮に何らかのものは前国王であるなら狭過ぎる fact4: 「そのパーツ交換は臆しないけど長し」ということは事実と異なる fact5: もし仮にあの引き当てが平成○年だ一方でそれが目的無しないとするとこの色形は言い負かさない fact6: この医療機関等が専門技術的判断であるとしたら脱稿しなくてそれにそれは取り掛かり易くない fact7: もしあの引き当てが前国王であるならこの弱音は生活し易くないかあるいはくっ付くかもしくは両方ともだ fact8: 仮にこの色形が言い負かすということはないとすればそのパーツ交換は脱稿しない fact9: もし仮にそのパーツ交換は脱稿しないとすれば「それは取り掛かり易くないかあるいはそれは専門技術的判断だ」ということは誤りである fact10: あの引き当ては生活し易い fact11: もし「そのパーツ交換は臆するということはない一方で長し」ということは成り立つということはないとしたら専門技術的判断だ fact12: なにかは前国王でないけどそれが言い負かすとすれば長しということはない fact13: この弱音が生活し易いということはないかあるいはくっ付くかあるいはどちらもならその御襁褓は狭過ぎるということはない
void -> assump1: 以下のように仮定する。あの引き当ては前国王でない; fact1 & assump1 -> int1: あの引き当ては平成○年だ一方で目的無しということはない; int1 & fact5 -> int2: この色形は言い負かさない; int2 & fact8 -> int3: そのパーツ交換は脱稿しない; int3 & fact9 -> int4: 「そのパーツ交換は取り掛かり易くないかまたは専門技術的判断だ」ということは成り立たない; fact4 & fact11 -> int5: そのパーツ交換は専門技術的判断である; int5 -> int6: そのパーツ交換は取り掛かり易くないかあるいは専門技術的判断であるかまたはどちらもだ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの引き当ては前国王である; int8 & fact7 -> int9: この弱音は生活し易くないかもしくはくっ付くかもしくはどちらもだ; int9 & fact13 -> hypothesis;
この医療機関等は長しない
fact17 -> int10: もしこの医療機関等が前国王でないがそれが言い負かすとしたらそれは長しない; fact16 -> int11: 「生活し易い」物はある; int11 & fact14 -> int12: この医療機関等はくっ付かないがしかし専門技術的判断だ; int12 -> int13: この医療機関等は専門技術的判断だ; fact15 & int13 -> int14: この医療機関等は脱稿しないしおまけに取り掛かり易くない; int14 -> int15: この医療機関等は脱稿しない;
$facts$ = fact1: もしもあの引き当ては前国王でないならばそれは平成○年だがしかし目的無しということはない fact2: もしあるものが生活し易いならばこの医療機関等はくっ付かないがしかし専門技術的判断である fact3: もし仮に何らかのものは前国王であるなら狭過ぎる fact4: 「そのパーツ交換は臆しないけど長し」ということは事実と異なる fact5: もし仮にあの引き当てが平成○年だ一方でそれが目的無しないとするとこの色形は言い負かさない fact6: この医療機関等が専門技術的判断であるとしたら脱稿しなくてそれにそれは取り掛かり易くない fact7: もしあの引き当てが前国王であるならこの弱音は生活し易くないかあるいはくっ付くかもしくは両方ともだ fact8: 仮にこの色形が言い負かすということはないとすればそのパーツ交換は脱稿しない fact9: もし仮にそのパーツ交換は脱稿しないとすれば「それは取り掛かり易くないかあるいはそれは専門技術的判断だ」ということは誤りである fact10: あの引き当ては生活し易い fact11: もし「そのパーツ交換は臆するということはない一方で長し」ということは成り立つということはないとしたら専門技術的判断だ fact12: なにかは前国王でないけどそれが言い負かすとすれば長しということはない fact13: この弱音が生活し易いということはないかあるいはくっ付くかあるいはどちらもならその御襁褓は狭過ぎるということはない ; $hypothesis$ = その御襁褓は狭過ぎる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの引き当ては前国王でない; fact1 & assump1 -> int1: あの引き当ては平成○年だ一方で目的無しということはない; int1 & fact5 -> int2: この色形は言い負かさない; int2 & fact8 -> int3: そのパーツ交換は脱稿しない; int3 & fact9 -> int4: 「そのパーツ交換は取り掛かり易くないかまたは専門技術的判断だ」ということは成り立たない; fact4 & fact11 -> int5: そのパーツ交換は専門技術的判断である; int5 -> int6: そのパーツ交換は取り掛かり易くないかあるいは専門技術的判断であるかまたはどちらもだ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの引き当ては前国王である; int8 & fact7 -> int9: この弱音は生活し易くないかもしくはくっ付くかもしくはどちらもだ; int9 & fact13 -> hypothesis; __DISPROVED__
事実1: もしもあの引き当ては前国王でないならばそれは平成○年だがしかし目的無しということはない
事実2: もしあるものが生活し易いならばこの医療機関等はくっ付かないがしかし専門技術的判断である
事実3: もし仮に何らかのものは前国王であるなら狭過ぎる
事実4: 「そのパーツ交換は臆しないけど長し」ということは事実と異なる
事実5: もし仮にあの引き当てが平成○年だ一方でそれが目的無しないとするとこの色形は言い負かさない
事実6: この医療機関等が専門技術的判断であるとしたら脱稿しなくてそれにそれは取り掛かり易くない
事実7: もしあの引き当てが前国王であるならこの弱音は生活し易くないかあるいはくっ付くかもしくは両方ともだ
事実8: 仮にこの色形が言い負かすということはないとすればそのパーツ交換は脱稿しない
事実9: もし仮にそのパーツ交換は脱稿しないとすれば「それは取り掛かり易くないかあるいはそれは専門技術的判断だ」ということは誤りである
事実10: あの引き当ては生活し易い
事実11: もし「そのパーツ交換は臆するということはない一方で長し」ということは成り立つということはないとしたら専門技術的判断だ
事実12: なにかは前国王でないけどそれが言い負かすとすれば長しということはない
事実13: この弱音が生活し易いということはないかあるいはくっ付くかあるいはどちらもならその御襁褓は狭過ぎるということはない

仮説: その御襁褓は狭過ぎる
1. 仮定1: 以下のように仮定する。あの引き当ては前国王でない
2. 事実1と仮定1から、推論1: "あの引き当ては平成○年だ一方で目的無しということはない"が導かれる
3. 推論1と事実5から、推論2: "この色形は言い負かさない"が導かれる
4. 推論2と事実8から、推論3: "そのパーツ交換は脱稿しない"が導かれる
5. 推論3と事実9から、推論4: "「そのパーツ交換は取り掛かり易くないかまたは専門技術的判断だ」ということは成り立たない"が導かれる
6. 事実4と事実11から、推論5: "そのパーツ交換は専門技術的判断である"が導かれる
7. 推論5から、推論6: "そのパーツ交換は取り掛かり易くないかあるいは専門技術的判断であるかまたはどちらもだ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの引き当ては前国王である"が導かれる
10. 推論8と事実7から、推論9: "この弱音は生活し易くないかもしくはくっ付くかもしくはどちらもだ"が導かれる
11. 推論9と事実13から、仮説が否定される

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