「もし外し易くないとすれば「定年退職後でない」ということは真実である」物はある
fact1: 「その十四参照は近付き難くないしださくない」ということは成り立たないならばこの鰹は近付き難くない fact2: もしもこの鰹が外し易いなら定年退職後でない fact3: その六角皿はオープン・マクロ・モデルであるかあるいは御めでたくない fact4: もしその六角皿が御安いとするとあの練り胡麻は江戸名所図会だ fact5: あの練り胡麻は江戸名所図会であるとすると「その十四参照は近付き難くないしその上ださくない」ということは成り立たない fact6: もし仮に何らかの物は兼用しないならば「それは外し易くてかつ砕け易い」ということは誤っている fact7: もし「この鰹は外し易くない」ということは成り立つとしたら「それは定年退職後でなくてかつそれは決定し得ない」ということは真実だ fact8: 認め難いものは三十日内でないかあるいは剥離し難くないかまたは両方ともだ fact9: もし仮に「何かは外し易くてかつそれは砕け易い」ということは成り立たないとすると分枝点でない fact10: 「もしも外し易いとすると定年退職後でない」物はある fact11: 近付き難くないものは認め難くて揺るぎない fact12: もしもあの公金が利用し難くないとしたらそれは御食べ為さるしそれは堪り易くない fact13: もし仮になにがしかのものがオープン・マクロ・モデルであるかもしくは御めでたくないとすれば御安い fact14: 仮にこの鰹が三十日内でないとすればこのモン・ＤＶは兼用しない
void -> assump1: 以下のように仮定する。「この鰹は外し易くない」ということは誤っていない; fact7 & assump1 -> int1: この鰹は定年退職後でなくて加えて決定し得ない; int1 -> int2: この鰹は定年退職後でない; [assump1] & int2 -> int3: もしもこの鰹は外し易くないならば定年退職後でない; int3 -> hypothesis;
このモン・ＤＶは分枝点でない
fact22 -> int4: もし仮に「このモン・ＤＶは外し易いし加えて砕け易い」ということは誤りだとしたらそれは分枝点でない; fact20 -> int5: このモン・ＤＶは兼用しないとすれば「外し易いしさらに砕け易い」ということは嘘だ; fact15 -> int6: この鰹が認め難いとしたらそれは三十日内でないかまたは剥離し難くないかもしくは両方ともだ; fact19 -> int7: 仮にこの鰹が近付き難いということはないならそれは認め難いししかも揺るぎない; fact21 -> int8: その六角皿はオープン・マクロ・モデルであるかもしくは御めでたくないかまたは両方だとすると御安い; int8 & fact23 -> int9: その六角皿は御安い; fact18 & int9 -> int10: あの練り胡麻は江戸名所図会だ; fact24 & int10 -> int11: 「その十四参照は近付き難くないしださくない」ということは嘘である; fact16 & int11 -> int12: この鰹は近付き難くない; int7 & int12 -> int13: この鰹が認め難いしその上それは揺るぎない; int13 -> int14: この鰹は認め難い; int6 & int14 -> int15: この鰹は三十日内でないかあるいは剥離し難くない;
$facts$ = fact1: 「その十四参照は近付き難くないしださくない」ということは成り立たないならばこの鰹は近付き難くない fact2: もしもこの鰹が外し易いなら定年退職後でない fact3: その六角皿はオープン・マクロ・モデルであるかあるいは御めでたくない fact4: もしその六角皿が御安いとするとあの練り胡麻は江戸名所図会だ fact5: あの練り胡麻は江戸名所図会であるとすると「その十四参照は近付き難くないしその上ださくない」ということは成り立たない fact6: もし仮に何らかの物は兼用しないならば「それは外し易くてかつ砕け易い」ということは誤っている fact7: もし「この鰹は外し易くない」ということは成り立つとしたら「それは定年退職後でなくてかつそれは決定し得ない」ということは真実だ fact8: 認め難いものは三十日内でないかあるいは剥離し難くないかまたは両方ともだ fact9: もし仮に「何かは外し易くてかつそれは砕け易い」ということは成り立たないとすると分枝点でない fact10: 「もしも外し易いとすると定年退職後でない」物はある fact11: 近付き難くないものは認め難くて揺るぎない fact12: もしもあの公金が利用し難くないとしたらそれは御食べ為さるしそれは堪り易くない fact13: もし仮になにがしかのものがオープン・マクロ・モデルであるかもしくは御めでたくないとすれば御安い fact14: 仮にこの鰹が三十日内でないとすればこのモン・ＤＶは兼用しない ; $hypothesis$ = 「もし外し易くないとすれば「定年退職後でない」ということは真実である」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。「この鰹は外し易くない」ということは誤っていない; fact7 & assump1 -> int1: この鰹は定年退職後でなくて加えて決定し得ない; int1 -> int2: この鰹は定年退職後でない; [assump1] & int2 -> int3: もしもこの鰹は外し易くないならば定年退職後でない; int3 -> hypothesis; __PROVED__
事実1: 「その十四参照は近付き難くないしださくない」ということは成り立たないならばこの鰹は近付き難くない
事実2: もしもこの鰹が外し易いなら定年退職後でない
事実3: その六角皿はオープン・マクロ・モデルであるかあるいは御めでたくない
事実4: もしその六角皿が御安いとするとあの練り胡麻は江戸名所図会だ
事実5: あの練り胡麻は江戸名所図会であるとすると「その十四参照は近付き難くないしその上ださくない」ということは成り立たない
事実6: もし仮に何らかの物は兼用しないならば「それは外し易くてかつ砕け易い」ということは誤っている
事実7: もし「この鰹は外し易くない」ということは成り立つとしたら「それは定年退職後でなくてかつそれは決定し得ない」ということは真実だ
事実8: 認め難いものは三十日内でないかあるいは剥離し難くないかまたは両方ともだ
事実9: もし仮に「何かは外し易くてかつそれは砕け易い」ということは成り立たないとすると分枝点でない
事実10: 「もしも外し易いとすると定年退職後でない」物はある
事実11: 近付き難くないものは認め難くて揺るぎない
事実12: もしもあの公金が利用し難くないとしたらそれは御食べ為さるしそれは堪り易くない
事実13: もし仮になにがしかのものがオープン・マクロ・モデルであるかもしくは御めでたくないとすれば御安い
事実14: 仮にこの鰹が三十日内でないとすればこのモン・ＤＶは兼用しない

仮説: 「もし外し易くないとすれば「定年退職後でない」ということは真実である」物はある
1. 仮定1: 以下のように仮定する。「この鰹は外し易くない」ということは誤っていない
2. 事実7と仮定1から、推論1: "この鰹は定年退職後でなくて加えて決定し得ない"が導かれる
3. 推論1から、推論2: "この鰹は定年退職後でない"が導かれる
4. [仮定1]と推論2から、推論3: "もしもこの鰹は外し易くないならば定年退職後でない"が導かれる
5. 推論3から、仮説が導かれる

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