この年末調整制度は狙い易くないけれど根治する
fact1: 「この専門的技能は上がり切らない」ということは成り立つとするとこの紋所は早しないしまたそれは臨時でない fact2: この年末調整制度は演じ続けない fact3: もしも何らかの物が上り易いとしたら上がり切らない fact4: もしも「とある物は狙い易いけどキセルでない」ということは成り立つということはないとすればキセルだ fact5: もし仮にこの年末調整制度が狙い易いとしたらキセルでないしおまけに取り始めるということはない fact6: その資産形成は臨時でない fact7: なにがしかの物は演じ続けるとすれば「狙い易くないけれど根治する」ということは偽である fact8: その垂直統合は演じ続けない fact9: 仮にその資産形成が睦まじいならこの年末調整制度は演じ続ける fact10: 仮にこの年末調整制度は演じ続けないなら「それはキセルでなくて取り始めない」ということは成り立たない fact11: 「その資産形成は臨時であるということはない」ということは成り立てば「この年末調整制度は早し一方で睦まじくない」ということは成り立たない fact12: 仮に「なにがしかの物は早しがしかし睦まじくない」ということは事実と異なるとしたら睦まじい fact13: もし仮にこの年末調整制度が睦まじいとしたら根治する
void -> assump1: 以下のように仮定する。この年末調整制度は狙い易い; fact5 & assump1 -> int1: この年末調整制度はキセルでないし取り始めない; fact2 & fact10 -> int2: 「この年末調整制度はキセルでないしおまけにそれは取り始めない」ということは間違いである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この年末調整制度は狙い易くない; fact12 -> int5: もし仮に「この年末調整制度は早しけど睦まじくない」ということは偽であるならそれは睦まじい; fact6 & fact11 -> int6: 「この年末調整制度は早しけど睦まじくない」ということは間違いだ; int5 & int6 -> int7: この年末調整制度は睦まじい; fact13 & int7 -> int8: この年末調整制度は根治する; int4 & int8 -> hypothesis;
「この年末調整制度は狙い易くないがしかしそれは根治する」ということは事実と異なる
fact16 -> int9: もし仮にこの年末調整制度は演じ続ければ「狙い易いということはなくて更にそれは根治する」ということは真実でない; fact17 -> int10: 仮にこの専門的技能が上り易いとすれば上がり切らない;
$facts$ = fact1: 「この専門的技能は上がり切らない」ということは成り立つとするとこの紋所は早しないしまたそれは臨時でない fact2: この年末調整制度は演じ続けない fact3: もしも何らかの物が上り易いとしたら上がり切らない fact4: もしも「とある物は狙い易いけどキセルでない」ということは成り立つということはないとすればキセルだ fact5: もし仮にこの年末調整制度が狙い易いとしたらキセルでないしおまけに取り始めるということはない fact6: その資産形成は臨時でない fact7: なにがしかの物は演じ続けるとすれば「狙い易くないけれど根治する」ということは偽である fact8: その垂直統合は演じ続けない fact9: 仮にその資産形成が睦まじいならこの年末調整制度は演じ続ける fact10: 仮にこの年末調整制度は演じ続けないなら「それはキセルでなくて取り始めない」ということは成り立たない fact11: 「その資産形成は臨時であるということはない」ということは成り立てば「この年末調整制度は早し一方で睦まじくない」ということは成り立たない fact12: 仮に「なにがしかの物は早しがしかし睦まじくない」ということは事実と異なるとしたら睦まじい fact13: もし仮にこの年末調整制度が睦まじいとしたら根治する ; $hypothesis$ = この年末調整制度は狙い易くないけれど根治する ; $proof$ = 
void -> assump1: 以下のように仮定する。この年末調整制度は狙い易い; fact5 & assump1 -> int1: この年末調整制度はキセルでないし取り始めない; fact2 & fact10 -> int2: 「この年末調整制度はキセルでないしおまけにそれは取り始めない」ということは間違いである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この年末調整制度は狙い易くない; fact12 -> int5: もし仮に「この年末調整制度は早しけど睦まじくない」ということは偽であるならそれは睦まじい; fact6 & fact11 -> int6: 「この年末調整制度は早しけど睦まじくない」ということは間違いだ; int5 & int6 -> int7: この年末調整制度は睦まじい; fact13 & int7 -> int8: この年末調整制度は根治する; int4 & int8 -> hypothesis; __PROVED__
事実1: 「この専門的技能は上がり切らない」ということは成り立つとするとこの紋所は早しないしまたそれは臨時でない
事実2: この年末調整制度は演じ続けない
事実3: もしも何らかの物が上り易いとしたら上がり切らない
事実4: もしも「とある物は狙い易いけどキセルでない」ということは成り立つということはないとすればキセルだ
事実5: もし仮にこの年末調整制度が狙い易いとしたらキセルでないしおまけに取り始めるということはない
事実6: その資産形成は臨時でない
事実7: なにがしかの物は演じ続けるとすれば「狙い易くないけれど根治する」ということは偽である
事実8: その垂直統合は演じ続けない
事実9: 仮にその資産形成が睦まじいならこの年末調整制度は演じ続ける
事実10: 仮にこの年末調整制度は演じ続けないなら「それはキセルでなくて取り始めない」ということは成り立たない
事実11: 「その資産形成は臨時であるということはない」ということは成り立てば「この年末調整制度は早し一方で睦まじくない」ということは成り立たない
事実12: 仮に「なにがしかの物は早しがしかし睦まじくない」ということは事実と異なるとしたら睦まじい
事実13: もし仮にこの年末調整制度が睦まじいとしたら根治する

仮説: この年末調整制度は狙い易くないけれど根治する
1. 仮定1: 以下のように仮定する。この年末調整制度は狙い易い
2. 事実5と仮定1から、推論1: "この年末調整制度はキセルでないし取り始めない"が導かれる
3. 事実2と事実10から、推論2: "「この年末調整制度はキセルでないしおまけにそれは取り始めない」ということは間違いである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この年末調整制度は狙い易くない"が導かれる
6. 事実12から、推論5: "もし仮に「この年末調整制度は早しけど睦まじくない」ということは偽であるならそれは睦まじい"が導かれる
7. 事実6と事実11から、推論6: "「この年末調整制度は早しけど睦まじくない」ということは間違いだ"が導かれる
8. 推論5と推論6から、推論7: "この年末調整制度は睦まじい"が導かれる
9. 事実13と推論7から、推論8: "この年末調整制度は根治する"が導かれる
10. 推論4と推論8から、仮説が導かれる

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