この無効は営業報告でない
fact1: この無効は駆け始めないがそれは処遇技法だ fact2: もし仮にこの無効が駆け始めるししかも処遇技法であるとするとそれは営業報告でない fact3: この無効が駆け始めないけれど処遇技法だとすればそれは営業報告でない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: この無効は駆け始めないがそれは処遇技法だ fact2: もし仮にこの無効が駆け始めるししかも処遇技法であるとするとそれは営業報告でない fact3: この無効が駆け始めないけれど処遇技法だとすればそれは営業報告でない ; $hypothesis$ = この無効は営業報告でない ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: この無効は駆け始めないがそれは処遇技法だ
事実2: もし仮にこの無効が駆け始めるししかも処遇技法であるとするとそれは営業報告でない
事実3: この無効が駆け始めないけれど処遇技法だとすればそれは営業報告でない

仮説: この無効は営業報告でない
1. 事実3と事実1から、仮説が導かれる

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