「あの萎縮的効果は排出するということはないし加えて工夫しない」ということは嘘だ
fact1: もし仮にとある物が歌舞するということはないとしたらそれは排出しなくて工夫するということはない fact2: もしもその人材供給が願い上げ奉るということはないけど真白いとしたらその人夜は願い上げ奉る fact3: もしもなんらかの物は歌舞するなら「それは排出しないし工夫するということはない」ということは事実と異なる fact4: 仮にあの萎縮的効果は移ろい易くない一方で願い上げ奉れば「歌舞するということはない」ということは事実である fact5: 得難し物は願い上げ奉らないけれど真白い fact6: あの萎縮的効果は移ろい易いということはないが願い上げ奉る
fact1 -> int1: もし仮にあの萎縮的効果が歌舞するということはないならばそれは排出しないしさらに工夫しない; fact6 & fact4 -> int2: あの萎縮的効果は歌舞しない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact6 & fact4 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「あの萎縮的効果は排出しなくてそれにそれは工夫しない」ということは成り立たない
fact9 -> int3: 仮にあの萎縮的効果は歌舞するとしたら「排出するということはないしかつ工夫するということはない」ということは間違っている; fact8 -> int4: 仮にその人材供給が得難しとすれば願い上げ奉らなくてそれは真白い;
$facts$ = fact1: もし仮にとある物が歌舞するということはないとしたらそれは排出しなくて工夫するということはない fact2: もしもその人材供給が願い上げ奉るということはないけど真白いとしたらその人夜は願い上げ奉る fact3: もしもなんらかの物は歌舞するなら「それは排出しないし工夫するということはない」ということは事実と異なる fact4: 仮にあの萎縮的効果は移ろい易くない一方で願い上げ奉れば「歌舞するということはない」ということは事実である fact5: 得難し物は願い上げ奉らないけれど真白い fact6: あの萎縮的効果は移ろい易いということはないが願い上げ奉る ; $hypothesis$ = 「あの萎縮的効果は排出するということはないし加えて工夫しない」ということは嘘だ ; $proof$ = 
fact1 -> int1: もし仮にあの萎縮的効果が歌舞するということはないならばそれは排出しないしさらに工夫しない; fact6 & fact4 -> int2: あの萎縮的効果は歌舞しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物が歌舞するということはないとしたらそれは排出しなくて工夫するということはない
事実2: もしもその人材供給が願い上げ奉るということはないけど真白いとしたらその人夜は願い上げ奉る
事実3: もしもなんらかの物は歌舞するなら「それは排出しないし工夫するということはない」ということは事実と異なる
事実4: 仮にあの萎縮的効果は移ろい易くない一方で願い上げ奉れば「歌舞するということはない」ということは事実である
事実5: 得難し物は願い上げ奉らないけれど真白い
事実6: あの萎縮的効果は移ろい易いということはないが願い上げ奉る

仮説: 「あの萎縮的効果は排出するということはないし加えて工夫しない」ということは嘘だ
1. 事実1から、推論1: "もし仮にあの萎縮的効果が歌舞するということはないならばそれは排出しないしさらに工夫しない"が導かれる
2. 事実6と事実4から、推論2: "あの萎縮的効果は歌舞しない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。