「この出来高払い方式は等級選挙制でないがフロント係である」ということは事実でない
fact1: この出来高払い方式は問診するがしかしそれは温くない fact2: もしなんらかの物が問診するなら教育効果だ fact3: もしもこの出来高払い方式は教育効果であるとすれば「それは等級選挙制だということはなくてフロント係だ」ということは間違いだ fact4: もしもなにかはフロント係だとするとそれは批判す
fact2 -> int1: もしもこの出来高払い方式が問診すれば教育効果だ; fact1 -> int2: この出来高払い方式は問診する; int1 & int2 -> int3: この出来高払い方式は教育効果である; int3 & fact3 -> hypothesis;
もしもその脇方はフロント係であるならば批判す
fact5 -> hypothesis;
$facts$ = fact1: この出来高払い方式は問診するがしかしそれは温くない fact2: もしなんらかの物が問診するなら教育効果だ fact3: もしもこの出来高払い方式は教育効果であるとすれば「それは等級選挙制だということはなくてフロント係だ」ということは間違いだ fact4: もしもなにかはフロント係だとするとそれは批判す ; $hypothesis$ = 「この出来高払い方式は等級選挙制でないがフロント係である」ということは事実でない ; $proof$ = 
fact2 -> int1: もしもこの出来高払い方式が問診すれば教育効果だ; fact1 -> int2: この出来高払い方式は問診する; int1 & int2 -> int3: この出来高払い方式は教育効果である; int3 & fact3 -> hypothesis; __PROVED__
事実1: この出来高払い方式は問診するがしかしそれは温くない
事実2: もしなんらかの物が問診するなら教育効果だ
事実3: もしもこの出来高払い方式は教育効果であるとすれば「それは等級選挙制だということはなくてフロント係だ」ということは間違いだ
事実4: もしもなにかはフロント係だとするとそれは批判す

仮説: 「この出来高払い方式は等級選挙制でないがフロント係である」ということは事実でない
1. 事実2から、推論1: "もしもこの出来高払い方式が問診すれば教育効果だ"が導かれる
2. 事実1から、推論2: "この出来高払い方式は問診する"が導かれる
3. 推論1と推論2から、推論3: "この出来高払い方式は教育効果である"が導かれる
4. 推論3と事実3から、仮説が導かれる

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