あの各職能部門は初々しい
fact1: その気遣いは目覚ましい fact2: その寵愛が目覚ましいし掴み易いとするとその電子メールは掴み易くない fact3: 仮に「その寵愛は目覚ましくない」ということは成り立つとするとその気遣いは膨らむ fact4: もし仮にその電子メールが煩いとしたらあの各職能部門は初々しい fact5: あの各職能部門は掴み易いか初々しいなら思い遣れない fact6: あの用地は掴み易い fact7: 「その寵愛は単離出来ないがしかし目覚ましい」ということは成り立つということはないとしたらその気遣いは膨らむ fact8: もし仮に「「単離出来るしおまけに目覚ましい」ということは誤っている」ものがあるならばあの各職能部門は煩くない fact9: 非笊事は初々しい fact10: 仮に「その気遣いは思い遣れない」ということは成り立つとするとその行為中は生成し易い fact11: 生成し易い物は思い遣れる fact12: 「その寵愛は単離出来ないがしかしそれは目覚ましい」ということは誤りである fact13: その寵愛は掴み易い fact14: もしも「思い遣れる」ものはあれば「その気遣いは非笊事だということはない一方で初々しい」ということは偽である fact15: もし仮にその気遣いが非笊事ならばそれは膨らまない fact16: その気遣いが掴み易くないがしかしそれが非笊事であるとしたらあの各職能部門は非笊事だ fact17: その寵愛は目覚ましくて煩い fact18: 掴み易くない物は膨らまない fact19: もしその気遣いが非笊事であるかあるいはそれは思い遣れるか両方ともであるとすればそれは膨らまない fact20: もしもその行為中は掴み易いなら「その電子メールは煩い」ということは成り立つ fact21: その電子メールが思い遣れないし生成し易くないならその行為中は思い遣れる fact22: あの各職能部門が目覚ましいならその寵愛は初々しい fact23: なにがしかのものが生成し易いならばそれは掴み易い fact24: もしなにがしかのものが思い遣れるしまたそれは非笊事であるとしたら初々しかない fact25: 「その行為中は単離出来るしさらにそれは目覚ましい」ということは本当でない
void -> assump1: 以下のように仮定する。その気遣いは思い遣れる; assump1 -> int1: その気遣いは非笊事であるかまたは思い遣れるかもしくはどちらもである; int1 & fact19 -> int2: その気遣いは膨らまない; fact12 & fact7 -> int3: その気遣いは膨らむ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その気遣いは思い遣れない; int5 & fact10 -> int6: その行為中は生成し易い; fact23 -> int7: その行為中が生成し易いならばそれは掴み易い; int6 & int7 -> int8: その行為中は掴み易い; int8 & fact20 -> int9: その電子メールは煩い; int9 & fact4 -> hypothesis;
あの各職能部門は初々しかない
fact27 -> int10: もし仮に「あの各職能部門は思い遣れるしそれは非笊事だ」ということは成り立つとしたら初々しかない; fact29 -> int11: 「「単離出来るし目覚ましい」ということは偽な」ものはある; int11 & fact30 -> int12: あの各職能部門は煩くない; fact26 -> int13: もしもあの各職能部門が生成し易いとすればそれは思い遣れる;
$facts$ = fact1: その気遣いは目覚ましい fact2: その寵愛が目覚ましいし掴み易いとするとその電子メールは掴み易くない fact3: 仮に「その寵愛は目覚ましくない」ということは成り立つとするとその気遣いは膨らむ fact4: もし仮にその電子メールが煩いとしたらあの各職能部門は初々しい fact5: あの各職能部門は掴み易いか初々しいなら思い遣れない fact6: あの用地は掴み易い fact7: 「その寵愛は単離出来ないがしかし目覚ましい」ということは成り立つということはないとしたらその気遣いは膨らむ fact8: もし仮に「「単離出来るしおまけに目覚ましい」ということは誤っている」ものがあるならばあの各職能部門は煩くない fact9: 非笊事は初々しい fact10: 仮に「その気遣いは思い遣れない」ということは成り立つとするとその行為中は生成し易い fact11: 生成し易い物は思い遣れる fact12: 「その寵愛は単離出来ないがしかしそれは目覚ましい」ということは誤りである fact13: その寵愛は掴み易い fact14: もしも「思い遣れる」ものはあれば「その気遣いは非笊事だということはない一方で初々しい」ということは偽である fact15: もし仮にその気遣いが非笊事ならばそれは膨らまない fact16: その気遣いが掴み易くないがしかしそれが非笊事であるとしたらあの各職能部門は非笊事だ fact17: その寵愛は目覚ましくて煩い fact18: 掴み易くない物は膨らまない fact19: もしその気遣いが非笊事であるかあるいはそれは思い遣れるか両方ともであるとすればそれは膨らまない fact20: もしもその行為中は掴み易いなら「その電子メールは煩い」ということは成り立つ fact21: その電子メールが思い遣れないし生成し易くないならその行為中は思い遣れる fact22: あの各職能部門が目覚ましいならその寵愛は初々しい fact23: なにがしかのものが生成し易いならばそれは掴み易い fact24: もしなにがしかのものが思い遣れるしまたそれは非笊事であるとしたら初々しかない fact25: 「その行為中は単離出来るしさらにそれは目覚ましい」ということは本当でない ; $hypothesis$ = あの各職能部門は初々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その気遣いは思い遣れる; assump1 -> int1: その気遣いは非笊事であるかまたは思い遣れるかもしくはどちらもである; int1 & fact19 -> int2: その気遣いは膨らまない; fact12 & fact7 -> int3: その気遣いは膨らむ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その気遣いは思い遣れない; int5 & fact10 -> int6: その行為中は生成し易い; fact23 -> int7: その行為中が生成し易いならばそれは掴み易い; int6 & int7 -> int8: その行為中は掴み易い; int8 & fact20 -> int9: その電子メールは煩い; int9 & fact4 -> hypothesis; __PROVED__
事実1: その気遣いは目覚ましい
事実2: その寵愛が目覚ましいし掴み易いとするとその電子メールは掴み易くない
事実3: 仮に「その寵愛は目覚ましくない」ということは成り立つとするとその気遣いは膨らむ
事実4: もし仮にその電子メールが煩いとしたらあの各職能部門は初々しい
事実5: あの各職能部門は掴み易いか初々しいなら思い遣れない
事実6: あの用地は掴み易い
事実7: 「その寵愛は単離出来ないがしかし目覚ましい」ということは成り立つということはないとしたらその気遣いは膨らむ
事実8: もし仮に「「単離出来るしおまけに目覚ましい」ということは誤っている」ものがあるならばあの各職能部門は煩くない
事実9: 非笊事は初々しい
事実10: 仮に「その気遣いは思い遣れない」ということは成り立つとするとその行為中は生成し易い
事実11: 生成し易い物は思い遣れる
事実12: 「その寵愛は単離出来ないがしかしそれは目覚ましい」ということは誤りである
事実13: その寵愛は掴み易い
事実14: もしも「思い遣れる」ものはあれば「その気遣いは非笊事だということはない一方で初々しい」ということは偽である
事実15: もし仮にその気遣いが非笊事ならばそれは膨らまない
事実16: その気遣いが掴み易くないがしかしそれが非笊事であるとしたらあの各職能部門は非笊事だ
事実17: その寵愛は目覚ましくて煩い
事実18: 掴み易くない物は膨らまない
事実19: もしその気遣いが非笊事であるかあるいはそれは思い遣れるか両方ともであるとすればそれは膨らまない
事実20: もしもその行為中は掴み易いなら「その電子メールは煩い」ということは成り立つ
事実21: その電子メールが思い遣れないし生成し易くないならその行為中は思い遣れる
事実22: あの各職能部門が目覚ましいならその寵愛は初々しい
事実23: なにがしかのものが生成し易いならばそれは掴み易い
事実24: もしなにがしかのものが思い遣れるしまたそれは非笊事であるとしたら初々しかない
事実25: 「その行為中は単離出来るしさらにそれは目覚ましい」ということは本当でない

仮説: あの各職能部門は初々しい
1. 仮定1: 以下のように仮定する。その気遣いは思い遣れる
2. 仮定1から、推論1: "その気遣いは非笊事であるかまたは思い遣れるかもしくはどちらもである"が導かれる
3. 推論1と事実19から、推論2: "その気遣いは膨らまない"が導かれる
4. 事実12と事実7から、推論3: "その気遣いは膨らむ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その気遣いは思い遣れない"が導かれる
7. 推論5と事実10から、推論6: "その行為中は生成し易い"が導かれる
8. 事実23から、推論7: "その行為中が生成し易いならばそれは掴み易い"が導かれる
9. 推論6と推論7から、推論8: "その行為中は掴み易い"が導かれる
10. 推論8と事実20から、推論9: "その電子メールは煩い"が導かれる
11. 推論9と事実4から、仮説が導かれる

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