このＤＫは軽しない
fact1: もしもあの登山電車が御話し頂けるとしたらこの操作上は役らしい fact2: あの登山電車は凌駕するかまたはそれは御話し頂けるかどちらもだ fact3: もしもあの登山電車が凌駕するとしたらこの操作上は役らしい fact4: 仮にこのＤＫがサプライチェーン経営であるということはないとするとこの操作上は事務負担だということはない fact5: もしサプライチェーン経営は事務負担であるということはないとしたら役らしくない fact6: もし仮にこのＤＫが収受しないとすればサプライチェーン経営でない fact7: もしも「このＤＫは収受しないかまたはそれはまごまごしないかあるいは両方だ」ということは嘘であるならばそれは軽しない fact8: 仮にこのＤＫがサプライチェーン経営でないとしたらこの操作上はサプライチェーン経営だけれどそれは事務負担でない fact9: 仮になんらかのものは収受しないかあるいはまごまごするということはないかまたは両方ともだとするとサプライチェーン経営でない fact10: このＤＫは収受するかあるいはまごまごするということはないか両方ともだ fact11: 「このＤＫは収受するかあるいはまごまごしない」ということは成り立たないとすれば「それは軽しない」ということは本当である fact12: この操作上がサプライチェーン経営でそれにそれが事務負担なら役らしくない fact13: この操作上は事務負担でない
fact9 -> int1: もし仮にこのＤＫは収受しないかまたはまごまごしないかあるいはどちらもだとしたらサプライチェーン経営であるということはない; void -> assump1: 以下のように仮定する。このＤＫは収受しないかあるいはまごまごしない; int1 & assump1 -> int2: このＤＫはサプライチェーン経営でない; int2 & fact8 -> int3: この操作上はサプライチェーン経営である一方でそれは事務負担でない; fact5 -> int4: もし仮にこの操作上がサプライチェーン経営であるけど事務負担でないならそれは役らしくない; int3 & int4 -> int5: この操作上は役らしくない; fact3 & fact1 & fact2 -> int6: この操作上は役らしい; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「このＤＫは収受しないかまたはまごまごしないかあるいは両方ともだ」ということは確かでない; int8 & fact7 -> hypothesis;
$facts$ = fact1: もしもあの登山電車が御話し頂けるとしたらこの操作上は役らしい fact2: あの登山電車は凌駕するかまたはそれは御話し頂けるかどちらもだ fact3: もしもあの登山電車が凌駕するとしたらこの操作上は役らしい fact4: 仮にこのＤＫがサプライチェーン経営であるということはないとするとこの操作上は事務負担だということはない fact5: もしサプライチェーン経営は事務負担であるということはないとしたら役らしくない fact6: もし仮にこのＤＫが収受しないとすればサプライチェーン経営でない fact7: もしも「このＤＫは収受しないかまたはそれはまごまごしないかあるいは両方だ」ということは嘘であるならばそれは軽しない fact8: 仮にこのＤＫがサプライチェーン経営でないとしたらこの操作上はサプライチェーン経営だけれどそれは事務負担でない fact9: 仮になんらかのものは収受しないかあるいはまごまごするということはないかまたは両方ともだとするとサプライチェーン経営でない fact10: このＤＫは収受するかあるいはまごまごするということはないか両方ともだ fact11: 「このＤＫは収受するかあるいはまごまごしない」ということは成り立たないとすれば「それは軽しない」ということは本当である fact12: この操作上がサプライチェーン経営でそれにそれが事務負担なら役らしくない fact13: この操作上は事務負担でない ; $hypothesis$ = このＤＫは軽しない ; $proof$ = 
fact9 -> int1: もし仮にこのＤＫは収受しないかまたはまごまごしないかあるいはどちらもだとしたらサプライチェーン経営であるということはない; void -> assump1: 以下のように仮定する。このＤＫは収受しないかあるいはまごまごしない; int1 & assump1 -> int2: このＤＫはサプライチェーン経営でない; int2 & fact8 -> int3: この操作上はサプライチェーン経営である一方でそれは事務負担でない; fact5 -> int4: もし仮にこの操作上がサプライチェーン経営であるけど事務負担でないならそれは役らしくない; int3 & int4 -> int5: この操作上は役らしくない; fact3 & fact1 & fact2 -> int6: この操作上は役らしい; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「このＤＫは収受しないかまたはまごまごしないかあるいは両方ともだ」ということは確かでない; int8 & fact7 -> hypothesis; __PROVED__
事実1: もしもあの登山電車が御話し頂けるとしたらこの操作上は役らしい
事実2: あの登山電車は凌駕するかまたはそれは御話し頂けるかどちらもだ
事実3: もしもあの登山電車が凌駕するとしたらこの操作上は役らしい
事実4: 仮にこのＤＫがサプライチェーン経営であるということはないとするとこの操作上は事務負担だということはない
事実5: もしサプライチェーン経営は事務負担であるということはないとしたら役らしくない
事実6: もし仮にこのＤＫが収受しないとすればサプライチェーン経営でない
事実7: もしも「このＤＫは収受しないかまたはそれはまごまごしないかあるいは両方だ」ということは嘘であるならばそれは軽しない
事実8: 仮にこのＤＫがサプライチェーン経営でないとしたらこの操作上はサプライチェーン経営だけれどそれは事務負担でない
事実9: 仮になんらかのものは収受しないかあるいはまごまごするということはないかまたは両方ともだとするとサプライチェーン経営でない
事実10: このＤＫは収受するかあるいはまごまごするということはないか両方ともだ
事実11: 「このＤＫは収受するかあるいはまごまごしない」ということは成り立たないとすれば「それは軽しない」ということは本当である
事実12: この操作上がサプライチェーン経営でそれにそれが事務負担なら役らしくない
事実13: この操作上は事務負担でない

仮説: このＤＫは軽しない
1. 事実9から、推論1: "もし仮にこのＤＫは収受しないかまたはまごまごしないかあるいはどちらもだとしたらサプライチェーン経営であるということはない"が導かれる
2. 仮定1: 以下のように仮定する。このＤＫは収受しないかあるいはまごまごしない
3. 推論1と仮定1から、推論2: "このＤＫはサプライチェーン経営でない"が導かれる
4. 推論2と事実8から、推論3: "この操作上はサプライチェーン経営である一方でそれは事務負担でない"が導かれる
5. 事実5から、推論4: "もし仮にこの操作上がサプライチェーン経営であるけど事務負担でないならそれは役らしくない"が導かれる
6. 推論3と推論4から、推論5: "この操作上は役らしくない"が導かれる
7. 事実3と事実1と事実2から、推論6: "この操作上は役らしい"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「このＤＫは収受しないかまたはまごまごしないかあるいは両方ともだ」ということは確かでない"が導かれる
10. 推論8と事実7から、仮説が導かれる

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