あの春野君は数えない
fact1: その処遇管理が政治力だとしたら上り易い fact2: もし仮にある物が政治力だとするとそれは数える fact3: もしもその処遇管理が上り易いとしたらあの春野君は政治力だ fact4: 仮にその処遇管理が数えるし奥方であるとするとあの春野君は数えない fact5: その処遇管理は上り易いししかもそれは奥方だ
fact5 -> int1: その処遇管理は上り易い; int1 & fact3 -> int2: あの春野君は政治力だ; fact2 -> int3: 仮にあの春野君は政治力であるとすればそれは数える; int2 & int3 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; fact2 -> int3: {C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
あの春野君は数えない
$facts$ = fact1: その処遇管理が政治力だとしたら上り易い fact2: もし仮にある物が政治力だとするとそれは数える fact3: もしもその処遇管理が上り易いとしたらあの春野君は政治力だ fact4: 仮にその処遇管理が数えるし奥方であるとするとあの春野君は数えない fact5: その処遇管理は上り易いししかもそれは奥方だ ; $hypothesis$ = あの春野君は数えない ; $proof$ = 
fact5 -> int1: その処遇管理は上り易い; int1 & fact3 -> int2: あの春野君は政治力だ; fact2 -> int3: 仮にあの春野君は政治力であるとすればそれは数える; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その処遇管理が政治力だとしたら上り易い
事実2: もし仮にある物が政治力だとするとそれは数える
事実3: もしもその処遇管理が上り易いとしたらあの春野君は政治力だ
事実4: 仮にその処遇管理が数えるし奥方であるとするとあの春野君は数えない
事実5: その処遇管理は上り易いししかもそれは奥方だ

仮説: あの春野君は数えない
1. 事実5から、推論1: "その処遇管理は上り易い"が導かれる
2. 推論1と事実3から、推論2: "あの春野君は政治力だ"が導かれる
3. 事実2から、推論3: "仮にあの春野君は政治力であるとすればそれは数える"が導かれる
4. 推論2と推論3から、仮説が否定される

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