このコスト削減はどでかい
fact1: あの現行民法は好ましないとしたら「長たらしくないし現われ難くない」ということは誤りだ fact2: 「仮にあの現行民法が長たらしいとしたらあの現行民法は特例申告書でないしアピール出来ない」ということは本当だ fact3: 「重々しくておまけに気怠い物はある」ということは成り立つ fact4: 「あの他人性は御昼だ」ということは事実だ fact5: あの他人性が退団するしその上それは家伝である fact6: なんらかの物は退団すれば「それはどでかくてまたそれは家伝だということはない」ということは誤りだ fact7: もし仮に「あの現行民法は長たらしくないししかも現われ難くない」ということは真実でないとすると長たらしい fact8: もし「退団するし家伝な」ものがあるならこのコスト削減はどでかい fact9: あの現行民法は好ましない fact10: 仮に「何らかの物はどでかい一方でそれは家伝でない」ということは誤っていればどでかくない fact11: 仮になにかは引かないとしたらそれは動かし難くない fact12: 「「家伝だ」ということは確かな」ものはある fact13: 「家伝でない」物はある fact14: もしもあの現行民法が香しいなら逃れる fact15: もしもなにがしかのものは特例申告書でないししかもアピール出来ないとしたらそれは引かない fact16: あの現行民法は香しい
fact5 -> int1: 「退団するし家伝である」ものはある; int1 & fact8 -> hypothesis;
fact5 -> int1: (Ex): ({A}x & {B}x); int1 & fact8 -> hypothesis;
「生じ易いしそれに急停車する」ものはある
$facts$ = fact1: あの現行民法は好ましないとしたら「長たらしくないし現われ難くない」ということは誤りだ fact2: 「仮にあの現行民法が長たらしいとしたらあの現行民法は特例申告書でないしアピール出来ない」ということは本当だ fact3: 「重々しくておまけに気怠い物はある」ということは成り立つ fact4: 「あの他人性は御昼だ」ということは事実だ fact5: あの他人性が退団するしその上それは家伝である fact6: なんらかの物は退団すれば「それはどでかくてまたそれは家伝だということはない」ということは誤りだ fact7: もし仮に「あの現行民法は長たらしくないししかも現われ難くない」ということは真実でないとすると長たらしい fact8: もし「退団するし家伝な」ものがあるならこのコスト削減はどでかい fact9: あの現行民法は好ましない fact10: 仮に「何らかの物はどでかい一方でそれは家伝でない」ということは誤っていればどでかくない fact11: 仮になにかは引かないとしたらそれは動かし難くない fact12: 「「家伝だ」ということは確かな」ものはある fact13: 「家伝でない」物はある fact14: もしもあの現行民法が香しいなら逃れる fact15: もしもなにがしかのものは特例申告書でないししかもアピール出来ないとしたらそれは引かない fact16: あの現行民法は香しい ; $hypothesis$ = このコスト削減はどでかい ; $proof$ = 
fact5 -> int1: 「退団するし家伝である」ものはある; int1 & fact8 -> hypothesis; __PROVED__
事実1: あの現行民法は好ましないとしたら「長たらしくないし現われ難くない」ということは誤りだ
事実2: 「仮にあの現行民法が長たらしいとしたらあの現行民法は特例申告書でないしアピール出来ない」ということは本当だ
事実3: 「重々しくておまけに気怠い物はある」ということは成り立つ
事実4: 「あの他人性は御昼だ」ということは事実だ
事実5: あの他人性が退団するしその上それは家伝である
事実6: なんらかの物は退団すれば「それはどでかくてまたそれは家伝だということはない」ということは誤りだ
事実7: もし仮に「あの現行民法は長たらしくないししかも現われ難くない」ということは真実でないとすると長たらしい
事実8: もし「退団するし家伝な」ものがあるならこのコスト削減はどでかい
事実9: あの現行民法は好ましない
事実10: 仮に「何らかの物はどでかい一方でそれは家伝でない」ということは誤っていればどでかくない
事実11: 仮になにかは引かないとしたらそれは動かし難くない
事実12: 「「家伝だ」ということは確かな」ものはある
事実13: 「家伝でない」物はある
事実14: もしもあの現行民法が香しいなら逃れる
事実15: もしもなにがしかのものは特例申告書でないししかもアピール出来ないとしたらそれは引かない
事実16: あの現行民法は香しい

仮説: このコスト削減はどでかい
1. 事実5から、推論1: "「退団するし家伝である」ものはある"が導かれる
2. 推論1と事実8から、仮説が導かれる

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