その年末調整制度は受け入れ易い
fact1: 仮にその年末調整制度は腹立てるとすれば「それはむくつけし一方で執行官保管でない」ということは誤っている fact2: 執行官保管は受け入れ易い fact3: 仮に落ち易くない物が危うしないとしたら乳臭くない fact4: 危うしない物は乳臭くてそれに落ち易い fact5: その年末調整制度は腹立てる fact6: 仮にその墓碑が根強いならこの領海は四角い fact7: もし仮に「乳臭くない」ものがあるとしたらその欠伸は受け入れ易くない fact8: もし仮に「その年末調整制度が言い訳はましくらない」ということは誤っているとすれば「春らしい」ということは確かだ fact9: もしもこの胆石が乳臭いとしたらその年末調整制度は受け入れ易いということはないしそれにそれは腹立てない fact10: あの機会費用は執行官保管である fact11: 「とあるものはむくつけしけど執行官保管だということはない」ということは成り立たないならばそれは受け入れ易い fact12: もしこの堀が大転換するならばあの墓碑は根強い
fact1 & fact5 -> int1: 「その年末調整制度はむくつけしけど執行官保管でない」ということは成り立たない; fact11 -> int2: もし仮に「「その年末調整制度はむくつけしけど執行官保管だということはない」ということは正しくない」ということは正しいなら受け入れ易い; int1 & int2 -> hypothesis;
fact1 & fact5 -> int1: ¬({AA}{a} & ¬{AB}{a}); fact11 -> int2: ¬({AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
その年末調整制度は受け入れ易いということはない
fact14 -> int3: この胆石が危うしないとするとそれは乳臭いし落ち易い;
$facts$ = fact1: 仮にその年末調整制度は腹立てるとすれば「それはむくつけし一方で執行官保管でない」ということは誤っている fact2: 執行官保管は受け入れ易い fact3: 仮に落ち易くない物が危うしないとしたら乳臭くない fact4: 危うしない物は乳臭くてそれに落ち易い fact5: その年末調整制度は腹立てる fact6: 仮にその墓碑が根強いならこの領海は四角い fact7: もし仮に「乳臭くない」ものがあるとしたらその欠伸は受け入れ易くない fact8: もし仮に「その年末調整制度が言い訳はましくらない」ということは誤っているとすれば「春らしい」ということは確かだ fact9: もしもこの胆石が乳臭いとしたらその年末調整制度は受け入れ易いということはないしそれにそれは腹立てない fact10: あの機会費用は執行官保管である fact11: 「とあるものはむくつけしけど執行官保管だということはない」ということは成り立たないならばそれは受け入れ易い fact12: もしこの堀が大転換するならばあの墓碑は根強い ; $hypothesis$ = その年末調整制度は受け入れ易い ; $proof$ = 
fact1 & fact5 -> int1: 「その年末調整制度はむくつけしけど執行官保管でない」ということは成り立たない; fact11 -> int2: もし仮に「「その年末調整制度はむくつけしけど執行官保管だということはない」ということは正しくない」ということは正しいなら受け入れ易い; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にその年末調整制度は腹立てるとすれば「それはむくつけし一方で執行官保管でない」ということは誤っている
事実2: 執行官保管は受け入れ易い
事実3: 仮に落ち易くない物が危うしないとしたら乳臭くない
事実4: 危うしない物は乳臭くてそれに落ち易い
事実5: その年末調整制度は腹立てる
事実6: 仮にその墓碑が根強いならこの領海は四角い
事実7: もし仮に「乳臭くない」ものがあるとしたらその欠伸は受け入れ易くない
事実8: もし仮に「その年末調整制度が言い訳はましくらない」ということは誤っているとすれば「春らしい」ということは確かだ
事実9: もしもこの胆石が乳臭いとしたらその年末調整制度は受け入れ易いということはないしそれにそれは腹立てない
事実10: あの機会費用は執行官保管である
事実11: 「とあるものはむくつけしけど執行官保管だということはない」ということは成り立たないならばそれは受け入れ易い
事実12: もしこの堀が大転換するならばあの墓碑は根強い

仮説: その年末調整制度は受け入れ易い
1. 事実1と事実5から、推論1: "「その年末調整制度はむくつけしけど執行官保管でない」ということは成り立たない"が導かれる
2. 事実11から、推論2: "もし仮に「「その年末調整制度はむくつけしけど執行官保管だということはない」ということは正しくない」ということは正しいなら受け入れ易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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