「この誕生は悪しいということはない」ということは本当である
fact1: どれもこれもはぼろくないかあるいは上れないかもしくはどちらもである fact2: もしもこの小雨が移動し易くないならこの誕生は悪しくない fact3: その広告費は上れる fact4: あの男装は機能し得ない fact5: 仮にその広告費がハイキングするとすれば機能し得る fact6: もしもこの誕生が移動し易くないとすればこの小雨は悪しくない fact7: この本制度は移動し易いということはないしかつ上れない fact8: その背外側が上れるということはないとするとこの本制度は上れるということはなくて加えてそれは東欧人であるということはない fact9: その広告費は上れるけどぼろくない fact10: 何らかのものが上れなくてその上東欧人でないならばこの小雨は移動し易くない fact11: この誕生はたわいないものであり御試さない fact12: 「忘れっぽくない」物はある fact13: なにかは移動し易いがしかし上れない fact14: もしも「機能し得るが参画出来ない」ものがあるとするとその背外側は上れない fact15: その広告費はハイキングする fact16: その広告費が参画出来ないしぼろいということはない
fact16 -> int1: その広告費は参画出来ない; fact5 & fact15 -> int2: その広告費は機能し得る; int1 & int2 -> int3: その広告費は機能し得るけれど参画出来ない; int3 -> int4: 「機能し得るし参画出来ない」物はある; int4 & fact14 -> int5: その背外側は上れない; int5 & fact8 -> int6: この本制度は上れるということはなくてかつ東欧人でない; int6 -> int7: 「上れなくてそれに東欧人でない」ものはある; int7 & fact10 -> int8: この小雨は移動し易くない; int8 & fact2 -> hypothesis;
この誕生は悪しい
fact17 -> int9: 「その広告費はぼろいということはないか上れない」ということは成り立つ;
$facts$ = fact1: どれもこれもはぼろくないかあるいは上れないかもしくはどちらもである fact2: もしもこの小雨が移動し易くないならこの誕生は悪しくない fact3: その広告費は上れる fact4: あの男装は機能し得ない fact5: 仮にその広告費がハイキングするとすれば機能し得る fact6: もしもこの誕生が移動し易くないとすればこの小雨は悪しくない fact7: この本制度は移動し易いということはないしかつ上れない fact8: その背外側が上れるということはないとするとこの本制度は上れるということはなくて加えてそれは東欧人であるということはない fact9: その広告費は上れるけどぼろくない fact10: 何らかのものが上れなくてその上東欧人でないならばこの小雨は移動し易くない fact11: この誕生はたわいないものであり御試さない fact12: 「忘れっぽくない」物はある fact13: なにかは移動し易いがしかし上れない fact14: もしも「機能し得るが参画出来ない」ものがあるとするとその背外側は上れない fact15: その広告費はハイキングする fact16: その広告費が参画出来ないしぼろいということはない ; $hypothesis$ = 「この誕生は悪しいということはない」ということは本当である ; $proof$ = 
fact16 -> int1: その広告費は参画出来ない; fact5 & fact15 -> int2: その広告費は機能し得る; int1 & int2 -> int3: その広告費は機能し得るけれど参画出来ない; int3 -> int4: 「機能し得るし参画出来ない」物はある; int4 & fact14 -> int5: その背外側は上れない; int5 & fact8 -> int6: この本制度は上れるということはなくてかつ東欧人でない; int6 -> int7: 「上れなくてそれに東欧人でない」ものはある; int7 & fact10 -> int8: この小雨は移動し易くない; int8 & fact2 -> hypothesis; __PROVED__
事実1: どれもこれもはぼろくないかあるいは上れないかもしくはどちらもである
事実2: もしもこの小雨が移動し易くないならこの誕生は悪しくない
事実3: その広告費は上れる
事実4: あの男装は機能し得ない
事実5: 仮にその広告費がハイキングするとすれば機能し得る
事実6: もしもこの誕生が移動し易くないとすればこの小雨は悪しくない
事実7: この本制度は移動し易いということはないしかつ上れない
事実8: その背外側が上れるということはないとするとこの本制度は上れるということはなくて加えてそれは東欧人であるということはない
事実9: その広告費は上れるけどぼろくない
事実10: 何らかのものが上れなくてその上東欧人でないならばこの小雨は移動し易くない
事実11: この誕生はたわいないものであり御試さない
事実12: 「忘れっぽくない」物はある
事実13: なにかは移動し易いがしかし上れない
事実14: もしも「機能し得るが参画出来ない」ものがあるとするとその背外側は上れない
事実15: その広告費はハイキングする
事実16: その広告費が参画出来ないしぼろいということはない

仮説: 「この誕生は悪しいということはない」ということは本当である
1. 事実16から、推論1: "その広告費は参画出来ない"が導かれる
2. 事実5と事実15から、推論2: "その広告費は機能し得る"が導かれる
3. 推論1と推論2から、推論3: "その広告費は機能し得るけれど参画出来ない"が導かれる
4. 推論3から、推論4: "「機能し得るし参画出来ない」物はある"が導かれる
5. 推論4と事実14から、推論5: "その背外側は上れない"が導かれる
6. 推論5と事実8から、推論6: "この本制度は上れるということはなくてかつ東欧人でない"が導かれる
7. 推論6から、推論7: "「上れなくてそれに東欧人でない」ものはある"が導かれる
8. 推論7と事実10から、推論8: "この小雨は移動し易くない"が導かれる
9. 推論8と事実2から、仮説が導かれる

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