あの貴方以外は勃興だ
fact1: もしもなんらかの物は情報発行・共有でないとしたら固しない fact2: あの貴方以外がテキストフレームだとしたらその茶筒は出入りし易い fact3: このベジバーグは固し fact4: あの貴方以外は情報発行・共有である fact5: その有り場所は妬ましいということはない fact6: あの貴方以外は滑り難い fact7: 仮にあの貴方以外は出難いとすると「その茶筒は出入りし易い」ということは本当だ fact8: もし「このベジバーグは妬ましくない」ということは成り立てばそれは勃興でない fact9: このベジバーグは着易い fact10: ある物が勃興でないならば出難いかテキストフレームだ fact11: もし何らかの物が脱皮しないとするとヘッダー・フッター領域でない fact12: とある物は自刃しないならば「それは聞き易くない」ということは本当だ fact13: もし出入りし易い物が妬ましいとしたらそれは勃興だということはない fact14: あの貴方以外は固し fact15: 仮になんらかのものが妬ましいならば情報発行・共有でない fact16: その茶筒が出入りし易いならばこのベジバーグは妬ましい fact17: 出入りし易くない物は妬ましいか出難いかどちらもである
fact10 -> int1: あの貴方以外が勃興でないならそれは出難いかテキストフレームであるかまたは両方である; void -> assump1: 以下のように仮定する。「あの貴方以外は勃興でない」ということは間違いであるということはない; int1 & assump1 -> int2: あの貴方以外は出難いかテキストフレームであるかあるいは両方だ; int2 & fact7 & fact2 -> int3: その茶筒は出入りし易い; int3 & fact16 -> int4: このベジバーグは妬ましい; fact15 -> int5: もし仮にこのベジバーグが妬ましいとすれば情報発行・共有でない; int4 & int5 -> int6: このベジバーグは情報発行・共有でない; fact1 -> int7: もしこのベジバーグは情報発行・共有でないとすると「固しない」ということは嘘でない; int6 & int7 -> int8: このベジバーグは固しない; int8 & fact3 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あの貴方以外は勃興でない
fact18 -> int10: 仮にあの貴方以外が出入りし易くてまた妬ましいならそれは勃興でない;
$facts$ = fact1: もしもなんらかの物は情報発行・共有でないとしたら固しない fact2: あの貴方以外がテキストフレームだとしたらその茶筒は出入りし易い fact3: このベジバーグは固し fact4: あの貴方以外は情報発行・共有である fact5: その有り場所は妬ましいということはない fact6: あの貴方以外は滑り難い fact7: 仮にあの貴方以外は出難いとすると「その茶筒は出入りし易い」ということは本当だ fact8: もし「このベジバーグは妬ましくない」ということは成り立てばそれは勃興でない fact9: このベジバーグは着易い fact10: ある物が勃興でないならば出難いかテキストフレームだ fact11: もし何らかの物が脱皮しないとするとヘッダー・フッター領域でない fact12: とある物は自刃しないならば「それは聞き易くない」ということは本当だ fact13: もし出入りし易い物が妬ましいとしたらそれは勃興だということはない fact14: あの貴方以外は固し fact15: 仮になんらかのものが妬ましいならば情報発行・共有でない fact16: その茶筒が出入りし易いならばこのベジバーグは妬ましい fact17: 出入りし易くない物は妬ましいか出難いかどちらもである ; $hypothesis$ = あの貴方以外は勃興だ ; $proof$ = 
fact10 -> int1: あの貴方以外が勃興でないならそれは出難いかテキストフレームであるかまたは両方である; void -> assump1: 以下のように仮定する。「あの貴方以外は勃興でない」ということは間違いであるということはない; int1 & assump1 -> int2: あの貴方以外は出難いかテキストフレームであるかあるいは両方だ; int2 & fact7 & fact2 -> int3: その茶筒は出入りし易い; int3 & fact16 -> int4: このベジバーグは妬ましい; fact15 -> int5: もし仮にこのベジバーグが妬ましいとすれば情報発行・共有でない; int4 & int5 -> int6: このベジバーグは情報発行・共有でない; fact1 -> int7: もしこのベジバーグは情報発行・共有でないとすると「固しない」ということは嘘でない; int6 & int7 -> int8: このベジバーグは固しない; int8 & fact3 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は情報発行・共有でないとしたら固しない
事実2: あの貴方以外がテキストフレームだとしたらその茶筒は出入りし易い
事実3: このベジバーグは固し
事実4: あの貴方以外は情報発行・共有である
事実5: その有り場所は妬ましいということはない
事実6: あの貴方以外は滑り難い
事実7: 仮にあの貴方以外は出難いとすると「その茶筒は出入りし易い」ということは本当だ
事実8: もし「このベジバーグは妬ましくない」ということは成り立てばそれは勃興でない
事実9: このベジバーグは着易い
事実10: ある物が勃興でないならば出難いかテキストフレームだ
事実11: もし何らかの物が脱皮しないとするとヘッダー・フッター領域でない
事実12: とある物は自刃しないならば「それは聞き易くない」ということは本当だ
事実13: もし出入りし易い物が妬ましいとしたらそれは勃興だということはない
事実14: あの貴方以外は固し
事実15: 仮になんらかのものが妬ましいならば情報発行・共有でない
事実16: その茶筒が出入りし易いならばこのベジバーグは妬ましい
事実17: 出入りし易くない物は妬ましいか出難いかどちらもである

仮説: あの貴方以外は勃興だ
1. 事実10から、推論1: "あの貴方以外が勃興でないならそれは出難いかテキストフレームであるかまたは両方である"が導かれる
2. 仮定1: 以下のように仮定する。「あの貴方以外は勃興でない」ということは間違いであるということはない
3. 推論1と仮定1から、推論2: "あの貴方以外は出難いかテキストフレームであるかあるいは両方だ"が導かれる
4. 推論2と事実7と事実2から、推論3: "その茶筒は出入りし易い"が導かれる
5. 推論3と事実16から、推論4: "このベジバーグは妬ましい"が導かれる
6. 事実15から、推論5: "もし仮にこのベジバーグが妬ましいとすれば情報発行・共有でない"が導かれる
7. 推論4と推論5から、推論6: "このベジバーグは情報発行・共有でない"が導かれる
8. 事実1から、推論7: "もしこのベジバーグは情報発行・共有でないとすると「固しない」ということは嘘でない"が導かれる
9. 推論6と推論7から、推論8: "このベジバーグは固しない"が導かれる
10. 推論8と事実3から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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