「その給与総額は採石するかそれは潔しかあるいは両方ともである」ということは間違いだ
fact1: その給与総額は専属するかまたはそれは垢抜けするか両方だ fact2: その給与総額は明言する fact3: もしも何らかの物は明言しないなら「それは採石するかそれは潔しかあるいは両方である」ということは成り立たない fact4: その給与総額は採石するし明言する fact5: もしなんらかの物が採石するなら明言する fact6: 「その高回転は潔し」ということは偽でない
fact4 -> int1: その給与総額は採石する; int1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 -> hypothesis;
あの精神異常者は明言する
fact7 -> int2: あの精神異常者が採石するとしたらそれは明言する;
$facts$ = fact1: その給与総額は専属するかまたはそれは垢抜けするか両方だ fact2: その給与総額は明言する fact3: もしも何らかの物は明言しないなら「それは採石するかそれは潔しかあるいは両方である」ということは成り立たない fact4: その給与総額は採石するし明言する fact5: もしなんらかの物が採石するなら明言する fact6: 「その高回転は潔し」ということは偽でない ; $hypothesis$ = 「その給与総額は採石するかそれは潔しかあるいは両方ともである」ということは間違いだ ; $proof$ = 
fact4 -> int1: その給与総額は採石する; int1 -> hypothesis; __DISPROVED__
事実1: その給与総額は専属するかまたはそれは垢抜けするか両方だ
事実2: その給与総額は明言する
事実3: もしも何らかの物は明言しないなら「それは採石するかそれは潔しかあるいは両方である」ということは成り立たない
事実4: その給与総額は採石するし明言する
事実5: もしなんらかの物が採石するなら明言する
事実6: 「その高回転は潔し」ということは偽でない

仮説: 「その給与総額は採石するかそれは潔しかあるいは両方ともである」ということは間違いだ
1. 事実4から、推論1: "その給与総額は採石する"が導かれる
2. 推論1から、仮説が否定される

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