この実践モデルは出来難いということはない
fact1: もしもこの実践モデルが出来難いとすればそれは練れるということはない fact2: 仮になにかは出来難いとしたら「練れない」ということは成り立つ fact3: 「「この地雷原は練れるけれど酷くない」ということは事実だ」ということは偽だ fact4: もしこの地雷原が出来難くないか仲睦まじいかもしくはどちらもだとしたらあの内発的動機付けは出来難い fact5: 「もしこの地雷原が仲睦まじくないとすればあの実践モデルは出来難くて練れる」ということは真実である fact6: この地雷原は練れる fact7: もしもこの体循環が仲睦まじいとすればこの地雷原は仲睦まじいということはない fact8: もしも何かは練れれば底深くない fact9: もし仮にこの地雷原は練れるとすれば「この実践モデルは底深いけれどそれは酷くない」ということは成り立たない fact10: もし仮に「何らかのものは底深いが酷くない」ということは事実でないなら出来難くない fact11: その種類株主総会単位は酷くない fact12: もし仮に「この実践モデルは出来難い一方で練れない」ということは本当でないとすればそれは底深くない
fact9 & fact6 -> int1: 「この実践モデルは底深いけれど酷くない」ということは真実でない; fact10 -> int2: もし「「この実践モデルは底深いがしかし酷くない」ということは誤っている」ということは真実であるならそれは出来難くない; int1 & int2 -> hypothesis;
fact9 & fact6 -> int1: ¬({AA}{b} & ¬{AB}{b}); fact10 -> int2: ¬({AA}{b} & ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
あの内発的動機付けは出来難い
$facts$ = fact1: もしもこの実践モデルが出来難いとすればそれは練れるということはない fact2: 仮になにかは出来難いとしたら「練れない」ということは成り立つ fact3: 「「この地雷原は練れるけれど酷くない」ということは事実だ」ということは偽だ fact4: もしこの地雷原が出来難くないか仲睦まじいかもしくはどちらもだとしたらあの内発的動機付けは出来難い fact5: 「もしこの地雷原が仲睦まじくないとすればあの実践モデルは出来難くて練れる」ということは真実である fact6: この地雷原は練れる fact7: もしもこの体循環が仲睦まじいとすればこの地雷原は仲睦まじいということはない fact8: もしも何かは練れれば底深くない fact9: もし仮にこの地雷原は練れるとすれば「この実践モデルは底深いけれどそれは酷くない」ということは成り立たない fact10: もし仮に「何らかのものは底深いが酷くない」ということは事実でないなら出来難くない fact11: その種類株主総会単位は酷くない fact12: もし仮に「この実践モデルは出来難い一方で練れない」ということは本当でないとすればそれは底深くない ; $hypothesis$ = この実践モデルは出来難いということはない ; $proof$ = 
fact9 & fact6 -> int1: 「この実践モデルは底深いけれど酷くない」ということは真実でない; fact10 -> int2: もし「「この実践モデルは底深いがしかし酷くない」ということは誤っている」ということは真実であるならそれは出来難くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもこの実践モデルが出来難いとすればそれは練れるということはない
事実2: 仮になにかは出来難いとしたら「練れない」ということは成り立つ
事実3: 「「この地雷原は練れるけれど酷くない」ということは事実だ」ということは偽だ
事実4: もしこの地雷原が出来難くないか仲睦まじいかもしくはどちらもだとしたらあの内発的動機付けは出来難い
事実5: 「もしこの地雷原が仲睦まじくないとすればあの実践モデルは出来難くて練れる」ということは真実である
事実6: この地雷原は練れる
事実7: もしもこの体循環が仲睦まじいとすればこの地雷原は仲睦まじいということはない
事実8: もしも何かは練れれば底深くない
事実9: もし仮にこの地雷原は練れるとすれば「この実践モデルは底深いけれどそれは酷くない」ということは成り立たない
事実10: もし仮に「何らかのものは底深いが酷くない」ということは事実でないなら出来難くない
事実11: その種類株主総会単位は酷くない
事実12: もし仮に「この実践モデルは出来難い一方で練れない」ということは本当でないとすればそれは底深くない

仮説: この実践モデルは出来難いということはない
1. 事実9と事実6から、推論1: "「この実践モデルは底深いけれど酷くない」ということは真実でない"が導かれる
2. 事実10から、推論2: "もし「「この実践モデルは底深いがしかし酷くない」ということは誤っている」ということは真実であるならそれは出来難くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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