その考課は先鋒部隊であるならばそれは玄室幅でないかまたは自社サイトであるかもしくは両方ともである
fact1: 先鋒部隊は玄室幅であるかまたは自社サイトであるかもしくは両方だ fact2: 先鋒部隊は玄室幅でないかまたは自社サイトであるかもしくは両方である fact3: もしその考課が先鋒部隊ならば玄室幅であるか自社サイトである
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 先鋒部隊は玄室幅であるかまたは自社サイトであるかもしくは両方だ fact2: 先鋒部隊は玄室幅でないかまたは自社サイトであるかもしくは両方である fact3: もしその考課が先鋒部隊ならば玄室幅であるか自社サイトである ; $hypothesis$ = その考課は先鋒部隊であるならばそれは玄室幅でないかまたは自社サイトであるかもしくは両方ともである ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 先鋒部隊は玄室幅であるかまたは自社サイトであるかもしくは両方だ
事実2: 先鋒部隊は玄室幅でないかまたは自社サイトであるかもしくは両方である
事実3: もしその考課が先鋒部隊ならば玄室幅であるか自社サイトである

仮説: その考課は先鋒部隊であるならばそれは玄室幅でないかまたは自社サイトであるかもしくは両方ともである
1. 事実2から、仮説が導かれる

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