「その著作物以外は底深い」ということは事実である
fact1: もしもこの曽根崎心中は高いなら「Ｋ‐ＬＡＢでないし昏睡でない」ということは誤りである fact2: 「分かり易過ぎない」物があるとしたらその著作物以外は無かりする fact3: もしなにがしかのものは無かりするということはないとすると「それは人権条約でないしまた炒め煮でない」ということは偽だ fact4: このスターターはしばれないし更に販売代理店だということはないならば「その著作物以外はしばれる」ということは事実だ fact5: その著作物以外は底深い fact6: もしも「しばれるし無かりする」ものがあるとすればあのシルクボタンは炒め煮である fact7: 「その禁裏周辺は神々しい」ということは正しい fact8: この曽根崎心中は高い fact9: 人権条約は底深い fact10: その宅地造成は底深い fact11: もしも「この曽根崎心中はＫ‐ＬＡＢでなくておまけに昏睡でない」ということは成り立たないとすればあの運行供用者はＫ‐ＬＡＢである fact12: もしもとある物が揉み込むならしばれないしかつ販売代理店であるということはない fact13: もしもその禁裏周辺は濃密さでないならば運命共同体であるし発声出来る fact14: もし仮に何らかのものは運命共同体でないならばそれは揉み込む fact15: その著作物以外は禿びる fact16: その禁裏周辺は濃密さでない fact17: もし何らかの物は炒め煮であるとすればそれは人権条約だ fact18: もし「「Ｋ‐ＬＡＢである」ということは正しい」物があるならあのＬＥＵは分かり易過ぎない fact19: あの改正少年法は底深い fact20: もし仮にその禁裏周辺が運命共同体でまた神々しいとしたらこのスターターは運命共同体であるということはない
fact5 -> hypothesis;
fact5 -> hypothesis;
このシルクボタンは底深い
fact31 -> int1: もしこのシルクボタンは人権条約であるとするとそれは底深い; fact34 -> int2: 仮にこのシルクボタンが炒め煮ならそれは人権条約である; fact22 -> int3: もしこのスターターは揉み込むとすると「それはしばれなくて販売代理店でない」ということは成り立つ; fact30 -> int4: もしも「このスターターは運命共同体でない」ということは成り立つとすれば「揉み込む」ということは成り立つ; fact29 & fact32 -> int5: その禁裏周辺は運命共同体であるしまた発声出来る; int5 -> int6: その禁裏周辺は運命共同体である; int6 & fact27 -> int7: その禁裏周辺は運命共同体であるし神々しい; fact24 & int7 -> int8: このスターターは運命共同体でない; int4 & int8 -> int9: このスターターは揉み込む; int3 & int9 -> int10: このスターターはしばれなくてかつ販売代理店でない; fact28 & int10 -> int11: その著作物以外はしばれる; fact23 & fact21 -> int12: 「「この曽根崎心中はＫ‐ＬＡＢでないしさらに昏睡でない」ということは成り立つ」ということは間違いである; fact26 & int12 -> int13: その運行供用者はＫ‐ＬＡＢである; int13 -> int14: 「Ｋ‐ＬＡＢな」物はある; int14 & fact25 -> int15: あのＬＥＵは分かり易過ぎない; int15 -> int16: 「分かり易過ぎない」ものはある; int16 & fact35 -> int17: その著作物以外は無かりする; int11 & int17 -> int18: その著作物以外はしばれるししかも無かりする; int18 -> int19: なにがしかのものはしばれるし加えて無かりする; int19 & fact33 -> int20: このシルクボタンは炒め煮だ; int2 & int20 -> int21: このシルクボタンは人権条約だ; int1 & int21 -> hypothesis;
$facts$ = fact1: もしもこの曽根崎心中は高いなら「Ｋ‐ＬＡＢでないし昏睡でない」ということは誤りである fact2: 「分かり易過ぎない」物があるとしたらその著作物以外は無かりする fact3: もしなにがしかのものは無かりするということはないとすると「それは人権条約でないしまた炒め煮でない」ということは偽だ fact4: このスターターはしばれないし更に販売代理店だということはないならば「その著作物以外はしばれる」ということは事実だ fact5: その著作物以外は底深い fact6: もしも「しばれるし無かりする」ものがあるとすればあのシルクボタンは炒め煮である fact7: 「その禁裏周辺は神々しい」ということは正しい fact8: この曽根崎心中は高い fact9: 人権条約は底深い fact10: その宅地造成は底深い fact11: もしも「この曽根崎心中はＫ‐ＬＡＢでなくておまけに昏睡でない」ということは成り立たないとすればあの運行供用者はＫ‐ＬＡＢである fact12: もしもとある物が揉み込むならしばれないしかつ販売代理店であるということはない fact13: もしもその禁裏周辺は濃密さでないならば運命共同体であるし発声出来る fact14: もし仮に何らかのものは運命共同体でないならばそれは揉み込む fact15: その著作物以外は禿びる fact16: その禁裏周辺は濃密さでない fact17: もし何らかの物は炒め煮であるとすればそれは人権条約だ fact18: もし「「Ｋ‐ＬＡＢである」ということは正しい」物があるならあのＬＥＵは分かり易過ぎない fact19: あの改正少年法は底深い fact20: もし仮にその禁裏周辺が運命共同体でまた神々しいとしたらこのスターターは運命共同体であるということはない ; $hypothesis$ = 「その著作物以外は底深い」ということは事実である ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしもこの曽根崎心中は高いなら「Ｋ‐ＬＡＢでないし昏睡でない」ということは誤りである
事実2: 「分かり易過ぎない」物があるとしたらその著作物以外は無かりする
事実3: もしなにがしかのものは無かりするということはないとすると「それは人権条約でないしまた炒め煮でない」ということは偽だ
事実4: このスターターはしばれないし更に販売代理店だということはないならば「その著作物以外はしばれる」ということは事実だ
事実5: その著作物以外は底深い
事実6: もしも「しばれるし無かりする」ものがあるとすればあのシルクボタンは炒め煮である
事実7: 「その禁裏周辺は神々しい」ということは正しい
事実8: この曽根崎心中は高い
事実9: 人権条約は底深い
事実10: その宅地造成は底深い
事実11: もしも「この曽根崎心中はＫ‐ＬＡＢでなくておまけに昏睡でない」ということは成り立たないとすればあの運行供用者はＫ‐ＬＡＢである
事実12: もしもとある物が揉み込むならしばれないしかつ販売代理店であるということはない
事実13: もしもその禁裏周辺は濃密さでないならば運命共同体であるし発声出来る
事実14: もし仮に何らかのものは運命共同体でないならばそれは揉み込む
事実15: その著作物以外は禿びる
事実16: その禁裏周辺は濃密さでない
事実17: もし何らかの物は炒め煮であるとすればそれは人権条約だ
事実18: もし「「Ｋ‐ＬＡＢである」ということは正しい」物があるならあのＬＥＵは分かり易過ぎない
事実19: あの改正少年法は底深い
事実20: もし仮にその禁裏周辺が運命共同体でまた神々しいとしたらこのスターターは運命共同体であるということはない

仮説: 「その著作物以外は底深い」ということは事実である
1. 事実5から、仮説が導かれる

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