もしその納骨者名は成功し易いとすると「それは間断無くなくておまけに培養する」ということは嘘である
fact1: 仮にその納骨者名が成功し易いとするとそれはすっきりする fact2: その納骨者名は悪過ぎないが上げ難い fact3: なんらかのものは誇らしいなら「インターロイキンでないしそれは生き易い」ということは誤りだ fact4: もし仮にその納骨者名が輝き出すとしたらそれは修飾する fact5: その納骨者名が物凄ーいとしたらそれは大同元年でないが成功し易い fact6: 「このフレックスタイム制度は彫刻するということはない一方で間断無い」ということは間違っている fact7: 間断無い物はすっきりするということはない一方で成功し易い fact8: 上げ難い物は復すということはないが数ブロックだ fact9: もしなんらかのものは間断無いならば「それは成功し易くないがしかしすっきりする」ということは誤りである fact10: もしも何かはすっきりするとすれば「間断無くないししかも培養する」ということは成り立たない fact11: もしもある物は培養すれば「それは成功し易いしそれに間断無い」ということは成り立たない fact12: 「その八十七Ｘは両立出来ないが間断無い」ということは事実と異なる fact13: 「その納骨者名は成功し易くないけど申し訳無い」ということは嘘だ fact14: その納骨者名は涙脆い
void -> assump1: 以下のように仮定する。その納骨者名は成功し易い; fact1 & assump1 -> int1: 「その納骨者名はすっきりする」ということは間違いでない; fact10 -> int2: 仮にその納骨者名はすっきりするなら「それは間断無くないけれど培養する」ということは偽だ; int1 & int2 -> int3: 「その納骨者名は間断無くないがそれは培養する」ということは成り立たない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にその納骨者名が成功し易いとするとそれはすっきりする fact2: その納骨者名は悪過ぎないが上げ難い fact3: なんらかのものは誇らしいなら「インターロイキンでないしそれは生き易い」ということは誤りだ fact4: もし仮にその納骨者名が輝き出すとしたらそれは修飾する fact5: その納骨者名が物凄ーいとしたらそれは大同元年でないが成功し易い fact6: 「このフレックスタイム制度は彫刻するということはない一方で間断無い」ということは間違っている fact7: 間断無い物はすっきりするということはない一方で成功し易い fact8: 上げ難い物は復すということはないが数ブロックだ fact9: もしなんらかのものは間断無いならば「それは成功し易くないがしかしすっきりする」ということは誤りである fact10: もしも何かはすっきりするとすれば「間断無くないししかも培養する」ということは成り立たない fact11: もしもある物は培養すれば「それは成功し易いしそれに間断無い」ということは成り立たない fact12: 「その八十七Ｘは両立出来ないが間断無い」ということは事実と異なる fact13: 「その納骨者名は成功し易くないけど申し訳無い」ということは嘘だ fact14: その納骨者名は涙脆い ; $hypothesis$ = もしその納骨者名は成功し易いとすると「それは間断無くなくておまけに培養する」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。その納骨者名は成功し易い; fact1 & assump1 -> int1: 「その納骨者名はすっきりする」ということは間違いでない; fact10 -> int2: 仮にその納骨者名はすっきりするなら「それは間断無くないけれど培養する」ということは偽だ; int1 & int2 -> int3: 「その納骨者名は間断無くないがそれは培養する」ということは成り立たない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にその納骨者名が成功し易いとするとそれはすっきりする
事実2: その納骨者名は悪過ぎないが上げ難い
事実3: なんらかのものは誇らしいなら「インターロイキンでないしそれは生き易い」ということは誤りだ
事実4: もし仮にその納骨者名が輝き出すとしたらそれは修飾する
事実5: その納骨者名が物凄ーいとしたらそれは大同元年でないが成功し易い
事実6: 「このフレックスタイム制度は彫刻するということはない一方で間断無い」ということは間違っている
事実7: 間断無い物はすっきりするということはない一方で成功し易い
事実8: 上げ難い物は復すということはないが数ブロックだ
事実9: もしなんらかのものは間断無いならば「それは成功し易くないがしかしすっきりする」ということは誤りである
事実10: もしも何かはすっきりするとすれば「間断無くないししかも培養する」ということは成り立たない
事実11: もしもある物は培養すれば「それは成功し易いしそれに間断無い」ということは成り立たない
事実12: 「その八十七Ｘは両立出来ないが間断無い」ということは事実と異なる
事実13: 「その納骨者名は成功し易くないけど申し訳無い」ということは嘘だ
事実14: その納骨者名は涙脆い

仮説: もしその納骨者名は成功し易いとすると「それは間断無くなくておまけに培養する」ということは嘘である
1. 仮定1: 以下のように仮定する。その納骨者名は成功し易い
2. 事実1と仮定1から、推論1: "「その納骨者名はすっきりする」ということは間違いでない"が導かれる
3. 事実10から、推論2: "仮にその納骨者名はすっきりするなら「それは間断無くないけれど培養する」ということは偽だ"が導かれる
4. 推論1と推論2から、推論3: "「その納骨者名は間断無くないがそれは培養する」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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