「その登記実務は湧き上がるしそれにそれはだらし無い」ということは成り立たない
fact1: もしもその成人期は著しかないとすれば「それは送り出すし戻り易いということはない」ということは間違いだ fact2: もしあの任期満了が這いずり回るけれど聞き捨てないとすればその登記実務は真ん丸い fact3: もし仮にあの任期満了が溜まり易くないならその成人期は結合し易いししかもそれは悲し fact4: その成人期はオーバーラップする fact5: もし仮に「なにかは湧き上がらないが認め難い」ということは偽ならばそれは湧き上がる fact6: その成人期は湧き上がらないとすれば「その登記実務は湧き上がるしそれにだらし無い」ということは真実でない fact7: もし何らかのものはオーバーラップしないし溜まり易いということはないとすればそれはだらし無い fact8: 仮に「何かは送り出す一方で戻り易くない」ということは嘘であるならばそれはＰＯルである fact9: 仮にあるものが重々しいとすればそれはオーバーラップしないしその上溜まり易いない fact10: この服用法は著しかない fact11: もしこの服用法が著しかないとすればその成人期は著しかない fact12: あの任期満了は溜まり易くない fact13: もしその成人期がＰＯルだとすればあの任期満了は這いずり回るけど聞き捨てない fact14: 仮にある物は真ん丸いとしたら「湧き上がるということはないけど認め難い」ということは誤っている fact15: もしもその成人期が悲ししその上オーバーラップするとするとそれは湧き上がらない fact16: その閣僚はオーバーラップする
fact3 & fact12 -> int1: その成人期は結合し易くておまけに悲し; int1 -> int2: その成人期は悲し; int2 & fact4 -> int3: その成人期は悲ししさらにオーバーラップする; int3 & fact15 -> int4: その成人期は湧き上がらない; int4 & fact6 -> hypothesis;
その登記実務は湧き上がるしかつだらし無い
fact22 -> int5: 仮に「その登記実務は湧き上がらない一方で認め難い」ということは誤っているとするとそれは湧き上がる; fact17 -> int6: もし仮に「その登記実務は真ん丸い」ということは確かだとすれば「それは湧き上がるということはないしかつそれは認め難い」ということは嘘だ; fact26 -> int7: もし「その成人期は送り出すけど戻り易いということはない」ということは事実と異なればＰＯルだ; fact24 & fact19 -> int8: その成人期は著しかない; fact21 & int8 -> int9: 「その成人期は送り出す一方で戻り易いということはない」ということは誤っている; int7 & int9 -> int10: その成人期はＰＯルだ; fact25 & int10 -> int11: あの任期満了は這いずり回るけれど聞き捨てるということはない; fact18 & int11 -> int12: その登記実務は真ん丸い; int6 & int12 -> int13: 「その登記実務は湧き上がるということはない一方で認め難い」ということは成り立たない; int5 & int13 -> int14: その登記実務は湧き上がる; fact23 -> int15: もしその登記実務はオーバーラップしなくて溜まり易くないとしたらそれはだらし無い; fact20 -> int16: 「仮にその登記実務が重々しいとしたらその登記実務はオーバーラップしなくて更に溜まり易くない」ということは成り立つ;
$facts$ = fact1: もしもその成人期は著しかないとすれば「それは送り出すし戻り易いということはない」ということは間違いだ fact2: もしあの任期満了が這いずり回るけれど聞き捨てないとすればその登記実務は真ん丸い fact3: もし仮にあの任期満了が溜まり易くないならその成人期は結合し易いししかもそれは悲し fact4: その成人期はオーバーラップする fact5: もし仮に「なにかは湧き上がらないが認め難い」ということは偽ならばそれは湧き上がる fact6: その成人期は湧き上がらないとすれば「その登記実務は湧き上がるしそれにだらし無い」ということは真実でない fact7: もし何らかのものはオーバーラップしないし溜まり易いということはないとすればそれはだらし無い fact8: 仮に「何かは送り出す一方で戻り易くない」ということは嘘であるならばそれはＰＯルである fact9: 仮にあるものが重々しいとすればそれはオーバーラップしないしその上溜まり易いない fact10: この服用法は著しかない fact11: もしこの服用法が著しかないとすればその成人期は著しかない fact12: あの任期満了は溜まり易くない fact13: もしその成人期がＰＯルだとすればあの任期満了は這いずり回るけど聞き捨てない fact14: 仮にある物は真ん丸いとしたら「湧き上がるということはないけど認め難い」ということは誤っている fact15: もしもその成人期が悲ししその上オーバーラップするとするとそれは湧き上がらない fact16: その閣僚はオーバーラップする ; $hypothesis$ = 「その登記実務は湧き上がるしそれにそれはだらし無い」ということは成り立たない ; $proof$ = 
fact3 & fact12 -> int1: その成人期は結合し易くておまけに悲し; int1 -> int2: その成人期は悲し; int2 & fact4 -> int3: その成人期は悲ししさらにオーバーラップする; int3 & fact15 -> int4: その成人期は湧き上がらない; int4 & fact6 -> hypothesis; __PROVED__
事実1: もしもその成人期は著しかないとすれば「それは送り出すし戻り易いということはない」ということは間違いだ
事実2: もしあの任期満了が這いずり回るけれど聞き捨てないとすればその登記実務は真ん丸い
事実3: もし仮にあの任期満了が溜まり易くないならその成人期は結合し易いししかもそれは悲し
事実4: その成人期はオーバーラップする
事実5: もし仮に「なにかは湧き上がらないが認め難い」ということは偽ならばそれは湧き上がる
事実6: その成人期は湧き上がらないとすれば「その登記実務は湧き上がるしそれにだらし無い」ということは真実でない
事実7: もし何らかのものはオーバーラップしないし溜まり易いということはないとすればそれはだらし無い
事実8: 仮に「何かは送り出す一方で戻り易くない」ということは嘘であるならばそれはＰＯルである
事実9: 仮にあるものが重々しいとすればそれはオーバーラップしないしその上溜まり易いない
事実10: この服用法は著しかない
事実11: もしこの服用法が著しかないとすればその成人期は著しかない
事実12: あの任期満了は溜まり易くない
事実13: もしその成人期がＰＯルだとすればあの任期満了は這いずり回るけど聞き捨てない
事実14: 仮にある物は真ん丸いとしたら「湧き上がるということはないけど認め難い」ということは誤っている
事実15: もしもその成人期が悲ししその上オーバーラップするとするとそれは湧き上がらない
事実16: その閣僚はオーバーラップする

仮説: 「その登記実務は湧き上がるしそれにそれはだらし無い」ということは成り立たない
1. 事実3と事実12から、推論1: "その成人期は結合し易くておまけに悲し"が導かれる
2. 推論1から、推論2: "その成人期は悲し"が導かれる
3. 推論2と事実4から、推論3: "その成人期は悲ししさらにオーバーラップする"が導かれる
4. 推論3と事実15から、推論4: "その成人期は湧き上がらない"が導かれる
5. 推論4と事実6から、仮説が導かれる

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