「その勤務成績は心安いけれど調査部分でない」ということは成り立たない
fact1: もしも「心苦しくない」物はあるとすると「その勤務成績は心安くておまけにそれは調査部分である」ということは本当でない fact2: 何らかのものは心苦しい fact3: もしも「心苦しくない」ものはあるとすると「その勤務成績は心安いけれど調査部分でない」ということは成り立たない fact4: なにがしかの物は心苦しくない
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
$facts$ = fact1: もしも「心苦しくない」物はあるとすると「その勤務成績は心安くておまけにそれは調査部分である」ということは本当でない fact2: 何らかのものは心苦しい fact3: もしも「心苦しくない」ものはあるとすると「その勤務成績は心安いけれど調査部分でない」ということは成り立たない fact4: なにがしかの物は心苦しくない ; $hypothesis$ = 「その勤務成績は心安いけれど調査部分でない」ということは成り立たない ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: もしも「心苦しくない」物はあるとすると「その勤務成績は心安くておまけにそれは調査部分である」ということは本当でない
事実2: 何らかのものは心苦しい
事実3: もしも「心苦しくない」ものはあるとすると「その勤務成績は心安いけれど調査部分でない」ということは成り立たない
事実4: なにがしかの物は心苦しくない

仮説: 「その勤務成績は心安いけれど調査部分でない」ということは成り立たない
1. 事実4と事実3から、仮説が導かれる

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