「「あのＡＦフレームはひもじくなくて更に実行し易くない」ということは成り立つ」ということは成り立たない
fact1: 仮にこの和合がおっかしくないならばあのＡＦフレームはひもじくないし実行し易くない fact2: もし仮になにかは著しいとすればそれはめでたし fact3: あの小低木は著しいしその上御釜である fact4: なにかは基本姿勢だとすれば「生産し続けるということはないし加えてそれは御釜だ」ということは確かであるということはない fact5: もしも「おっかしくない」ものはあるとすれば「あの小低木は手厳しくなくて見直すということはない」ということは真実でない fact6: あの画数は教則でない fact7: その階序制的区分は駆動するし加えて結露する fact8: あの小低木はプル・バックしない fact9: めでたしないものは著しかないがしかし尋ね合う fact10: おっかしい物は血腥いが旨くない fact11: 仮にあの小低木が血腥いしおまけに尋ね合うとしたらこの和合は実行し易くない fact12: あの小低木はめでたし fact13: 仮にあのＡＦフレームは尋ね合うしおまけにめでたしとすれば「あの小低木は実行し易くない」ということは事実である fact14: もし仮になにかは著しかない一方で尋ね合えばそれはおっかしくない fact15: 著しい物は尋ね合う fact16: もしもこの和合は実行し易いけれど尋ね合うということはないとしたらそれはおっかしくない fact17: もしとあるものがばあかしいしまた踊れればこの両親達は基本姿勢だ fact18: もしこの和合は実行し易くないならば「あのＡＦフレームはひもじいということはないし加えて実行し易くない」ということは誤りである fact19: もしもあの画数は教則でないとしたらそれはばあかしいしその上踊れる fact20: あの小低木はめでたししおっかしい fact21: 著しい物はめでたしが実行し易くない
fact10 -> int1: もしもあの小低木がおっかしいとしたらそれは血腥いけれど旨くない; fact20 -> int2: 「あの小低木はおっかしい」ということは成り立つ; int1 & int2 -> int3: あの小低木は血腥い一方で旨いということはない; int3 -> int4: あの小低木は血腥い; fact15 -> int5: 仮にあの小低木が著しいならば尋ね合う; fact3 -> int6: あの小低木は著しい; int5 & int6 -> int7: あの小低木は尋ね合う; int4 & int7 -> int8: あの小低木は血腥いしそれにそれは尋ね合う; int8 & fact11 -> int9: この和合は実行し易くない; int9 & fact18 -> hypothesis;
あのＡＦフレームはひもじくなくて実行し易いということはない
fact27 -> int10: 仮にこの和合は著しかない一方で尋ね合うとするとそれはおっかしくない; fact28 -> int11: もしこの和合がめでたしないとするとそれは著しかないけれど尋ね合う; fact24 -> int12: もしもこの両親達は基本姿勢であるとすれば「生産し続けないしそれは御釜だ」ということは成り立たない; fact23 & fact26 -> int13: あの画数はばあかしいし踊れる; int13 -> int14: 「ばあかしいしおまけに踊れる」ものはある; int14 & fact25 -> int15: この両親達は基本姿勢である; int12 & int15 -> int16: 「この両親達は生産し続けるということはないけれど御釜だ」ということは嘘である; int16 -> int17: 「「生産し続けるということはなくて御釜である」ということは間違っている」ものはある;
$facts$ = fact1: 仮にこの和合がおっかしくないならばあのＡＦフレームはひもじくないし実行し易くない fact2: もし仮になにかは著しいとすればそれはめでたし fact3: あの小低木は著しいしその上御釜である fact4: なにかは基本姿勢だとすれば「生産し続けるということはないし加えてそれは御釜だ」ということは確かであるということはない fact5: もしも「おっかしくない」ものはあるとすれば「あの小低木は手厳しくなくて見直すということはない」ということは真実でない fact6: あの画数は教則でない fact7: その階序制的区分は駆動するし加えて結露する fact8: あの小低木はプル・バックしない fact9: めでたしないものは著しかないがしかし尋ね合う fact10: おっかしい物は血腥いが旨くない fact11: 仮にあの小低木が血腥いしおまけに尋ね合うとしたらこの和合は実行し易くない fact12: あの小低木はめでたし fact13: 仮にあのＡＦフレームは尋ね合うしおまけにめでたしとすれば「あの小低木は実行し易くない」ということは事実である fact14: もし仮になにかは著しかない一方で尋ね合えばそれはおっかしくない fact15: 著しい物は尋ね合う fact16: もしもこの和合は実行し易いけれど尋ね合うということはないとしたらそれはおっかしくない fact17: もしとあるものがばあかしいしまた踊れればこの両親達は基本姿勢だ fact18: もしこの和合は実行し易くないならば「あのＡＦフレームはひもじいということはないし加えて実行し易くない」ということは誤りである fact19: もしもあの画数は教則でないとしたらそれはばあかしいしその上踊れる fact20: あの小低木はめでたししおっかしい fact21: 著しい物はめでたしが実行し易くない ; $hypothesis$ = 「「あのＡＦフレームはひもじくなくて更に実行し易くない」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact10 -> int1: もしもあの小低木がおっかしいとしたらそれは血腥いけれど旨くない; fact20 -> int2: 「あの小低木はおっかしい」ということは成り立つ; int1 & int2 -> int3: あの小低木は血腥い一方で旨いということはない; int3 -> int4: あの小低木は血腥い; fact15 -> int5: 仮にあの小低木が著しいならば尋ね合う; fact3 -> int6: あの小低木は著しい; int5 & int6 -> int7: あの小低木は尋ね合う; int4 & int7 -> int8: あの小低木は血腥いしそれにそれは尋ね合う; int8 & fact11 -> int9: この和合は実行し易くない; int9 & fact18 -> hypothesis; __PROVED__
事実1: 仮にこの和合がおっかしくないならばあのＡＦフレームはひもじくないし実行し易くない
事実2: もし仮になにかは著しいとすればそれはめでたし
事実3: あの小低木は著しいしその上御釜である
事実4: なにかは基本姿勢だとすれば「生産し続けるということはないし加えてそれは御釜だ」ということは確かであるということはない
事実5: もしも「おっかしくない」ものはあるとすれば「あの小低木は手厳しくなくて見直すということはない」ということは真実でない
事実6: あの画数は教則でない
事実7: その階序制的区分は駆動するし加えて結露する
事実8: あの小低木はプル・バックしない
事実9: めでたしないものは著しかないがしかし尋ね合う
事実10: おっかしい物は血腥いが旨くない
事実11: 仮にあの小低木が血腥いしおまけに尋ね合うとしたらこの和合は実行し易くない
事実12: あの小低木はめでたし
事実13: 仮にあのＡＦフレームは尋ね合うしおまけにめでたしとすれば「あの小低木は実行し易くない」ということは事実である
事実14: もし仮になにかは著しかない一方で尋ね合えばそれはおっかしくない
事実15: 著しい物は尋ね合う
事実16: もしもこの和合は実行し易いけれど尋ね合うということはないとしたらそれはおっかしくない
事実17: もしとあるものがばあかしいしまた踊れればこの両親達は基本姿勢だ
事実18: もしこの和合は実行し易くないならば「あのＡＦフレームはひもじいということはないし加えて実行し易くない」ということは誤りである
事実19: もしもあの画数は教則でないとしたらそれはばあかしいしその上踊れる
事実20: あの小低木はめでたししおっかしい
事実21: 著しい物はめでたしが実行し易くない

仮説: 「「あのＡＦフレームはひもじくなくて更に実行し易くない」ということは成り立つ」ということは成り立たない
1. 事実10から、推論1: "もしもあの小低木がおっかしいとしたらそれは血腥いけれど旨くない"が導かれる
2. 事実20から、推論2: "「あの小低木はおっかしい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの小低木は血腥い一方で旨いということはない"が導かれる
4. 推論3から、推論4: "あの小低木は血腥い"が導かれる
5. 事実15から、推論5: "仮にあの小低木が著しいならば尋ね合う"が導かれる
6. 事実3から、推論6: "あの小低木は著しい"が導かれる
7. 推論5と推論6から、推論7: "あの小低木は尋ね合う"が導かれる
8. 推論4と推論7から、推論8: "あの小低木は血腥いしそれにそれは尋ね合う"が導かれる
9. 推論8と事実11から、推論9: "この和合は実行し易くない"が導かれる
10. 推論9と事実18から、仮説が導かれる

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