そのプラスマイナスは噴出するけれどそれは死亡率でない
fact1: その爺さんが死亡率でないとすればそのプラスマイナスは噴出するけれどそれは死亡率であるということはない fact2: もしもなんらかのものは求め過ぎるし死亡率であるならば「この同族会社は抜け易くない」ということは成り立つ fact3: もし仮になにがしかのものが京都ダートであるならその胆嚢内は法医解剖でない fact4: もしその胆嚢内が法医解剖でないならばこの同族会社は抜け易い fact5: 「なんらかのものは回りくどいがカサガイ類でない」ということは成り立たないならば京都ダートだ fact6: その幼稚園教育要領は白いならば「そのプラスマイナスは噴出するが死亡率でない」ということは間違いである fact7: 「あの幣原内閣は回りくどいがカサガイ類でない」ということは成り立たない fact8: もしもその爺さんはカサガイ類であるとすれば「その幼稚園教育要領はカサガイ類だ」ということは真実である fact9: カサガイ類は法医解剖でないけれど京都ダートだ fact10: もし仮に「その幼稚園教育要領は跳ね返るということはないがしかし形振りだ」ということは嘘であるならその爺さんは求め過ぎる fact11: 仮になんらかの物が抜け易いとしたら求め過ぎる fact12: もしとある物が求め過ぎるとすると白い fact13: その幼稚園教育要領は白くない fact14: 仮にその幼稚園教育要領は白くないとすると「跳ね返らなくてしかもそれは形振りである」ということは成り立たない fact15: もしもなんらかの物が法医解剖だということはないけれど京都ダートだとしたらそれは抜け易い
fact14 & fact13 -> int1: 「その幼稚園教育要領は跳ね返らないけど形振りである」ということは偽だ; int1 & fact10 -> int2: その爺さんは求め過ぎる; void -> assump1: 以下のように仮定する。その爺さんは死亡率である; int2 & assump1 -> int3: その爺さんは求め過ぎるし死亡率だ; int3 -> int4: 「求め過ぎるししかも死亡率である」ものはある; int4 & fact2 -> int5: この同族会社は抜け易いということはない; fact5 -> int6: もし「あの幣原内閣は回りくどいがしかしカサガイ類でない」ということは事実でないなら京都ダートである; fact7 & int6 -> int7: あの幣原内閣は京都ダートだ; int7 -> int8: 「京都ダートである」物はある; int8 & fact3 -> int9: その胆嚢内は法医解剖でない; fact4 & int9 -> int10: この同族会社は抜け易い; int5 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: その爺さんは死亡率でない; int12 & fact1 -> hypothesis;
「そのプラスマイナスは噴出するがしかし死亡率であるということはない」ということは成り立たない
fact18 -> int13: 仮にその幼稚園教育要領は求め過ぎれば「白い」ということは本当だ; fact17 -> int14: その幼稚園教育要領が抜け易いとすれば求め過ぎる; fact19 -> int15: もし仮にその幼稚園教育要領は法医解剖であるということはないけれど京都ダートなら「それは抜け易い」ということは成り立つ; fact20 -> int16: もし仮にその幼稚園教育要領がカサガイ類だとすれば法医解剖でないがしかし京都ダートだ;
$facts$ = fact1: その爺さんが死亡率でないとすればそのプラスマイナスは噴出するけれどそれは死亡率であるということはない fact2: もしもなんらかのものは求め過ぎるし死亡率であるならば「この同族会社は抜け易くない」ということは成り立つ fact3: もし仮になにがしかのものが京都ダートであるならその胆嚢内は法医解剖でない fact4: もしその胆嚢内が法医解剖でないならばこの同族会社は抜け易い fact5: 「なんらかのものは回りくどいがカサガイ類でない」ということは成り立たないならば京都ダートだ fact6: その幼稚園教育要領は白いならば「そのプラスマイナスは噴出するが死亡率でない」ということは間違いである fact7: 「あの幣原内閣は回りくどいがカサガイ類でない」ということは成り立たない fact8: もしもその爺さんはカサガイ類であるとすれば「その幼稚園教育要領はカサガイ類だ」ということは真実である fact9: カサガイ類は法医解剖でないけれど京都ダートだ fact10: もし仮に「その幼稚園教育要領は跳ね返るということはないがしかし形振りだ」ということは嘘であるならその爺さんは求め過ぎる fact11: 仮になんらかの物が抜け易いとしたら求め過ぎる fact12: もしとある物が求め過ぎるとすると白い fact13: その幼稚園教育要領は白くない fact14: 仮にその幼稚園教育要領は白くないとすると「跳ね返らなくてしかもそれは形振りである」ということは成り立たない fact15: もしもなんらかの物が法医解剖だということはないけれど京都ダートだとしたらそれは抜け易い ; $hypothesis$ = そのプラスマイナスは噴出するけれどそれは死亡率でない ; $proof$ = 
fact14 & fact13 -> int1: 「その幼稚園教育要領は跳ね返らないけど形振りである」ということは偽だ; int1 & fact10 -> int2: その爺さんは求め過ぎる; void -> assump1: 以下のように仮定する。その爺さんは死亡率である; int2 & assump1 -> int3: その爺さんは求め過ぎるし死亡率だ; int3 -> int4: 「求め過ぎるししかも死亡率である」ものはある; int4 & fact2 -> int5: この同族会社は抜け易いということはない; fact5 -> int6: もし「あの幣原内閣は回りくどいがしかしカサガイ類でない」ということは事実でないなら京都ダートである; fact7 & int6 -> int7: あの幣原内閣は京都ダートだ; int7 -> int8: 「京都ダートである」物はある; int8 & fact3 -> int9: その胆嚢内は法医解剖でない; fact4 & int9 -> int10: この同族会社は抜け易い; int5 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: その爺さんは死亡率でない; int12 & fact1 -> hypothesis; __PROVED__
事実1: その爺さんが死亡率でないとすればそのプラスマイナスは噴出するけれどそれは死亡率であるということはない
事実2: もしもなんらかのものは求め過ぎるし死亡率であるならば「この同族会社は抜け易くない」ということは成り立つ
事実3: もし仮になにがしかのものが京都ダートであるならその胆嚢内は法医解剖でない
事実4: もしその胆嚢内が法医解剖でないならばこの同族会社は抜け易い
事実5: 「なんらかのものは回りくどいがカサガイ類でない」ということは成り立たないならば京都ダートだ
事実6: その幼稚園教育要領は白いならば「そのプラスマイナスは噴出するが死亡率でない」ということは間違いである
事実7: 「あの幣原内閣は回りくどいがカサガイ類でない」ということは成り立たない
事実8: もしもその爺さんはカサガイ類であるとすれば「その幼稚園教育要領はカサガイ類だ」ということは真実である
事実9: カサガイ類は法医解剖でないけれど京都ダートだ
事実10: もし仮に「その幼稚園教育要領は跳ね返るということはないがしかし形振りだ」ということは嘘であるならその爺さんは求め過ぎる
事実11: 仮になんらかの物が抜け易いとしたら求め過ぎる
事実12: もしとある物が求め過ぎるとすると白い
事実13: その幼稚園教育要領は白くない
事実14: 仮にその幼稚園教育要領は白くないとすると「跳ね返らなくてしかもそれは形振りである」ということは成り立たない
事実15: もしもなんらかの物が法医解剖だということはないけれど京都ダートだとしたらそれは抜け易い

仮説: そのプラスマイナスは噴出するけれどそれは死亡率でない
1. 事実14と事実13から、推論1: "「その幼稚園教育要領は跳ね返らないけど形振りである」ということは偽だ"が導かれる
2. 推論1と事実10から、推論2: "その爺さんは求め過ぎる"が導かれる
3. 仮定1: 以下のように仮定する。その爺さんは死亡率である
4. 推論2と仮定1から、推論3: "その爺さんは求め過ぎるし死亡率だ"が導かれる
5. 推論3から、推論4: "「求め過ぎるししかも死亡率である」ものはある"が導かれる
6. 推論4と事実2から、推論5: "この同族会社は抜け易いということはない"が導かれる
7. 事実5から、推論6: "もし「あの幣原内閣は回りくどいがしかしカサガイ類でない」ということは事実でないなら京都ダートである"が導かれる
8. 事実7と推論6から、推論7: "あの幣原内閣は京都ダートだ"が導かれる
9. 推論7から、推論8: "「京都ダートである」物はある"が導かれる
10. 推論8と事実3から、推論9: "その胆嚢内は法医解剖でない"が導かれる
11. 事実4と推論9から、推論10: "この同族会社は抜け易い"が導かれる
12. 推論5と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、推論12: "その爺さんは死亡率でない"が導かれる
14. 推論12と事実1から、仮説が導かれる

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