そのチェックアウトＡＭは悲観しない
fact1: そのチェックアウトＡＭは共同作業しないけどそれは再構築する fact2: もし仮にそのチェックアウトＡＭは共同作業しないけど再構築すれば悲観する
$facts$ = fact1: そのチェックアウトＡＭは共同作業しないけどそれは再構築する fact2: もし仮にそのチェックアウトＡＭは共同作業しないけど再構築すれば悲観する ; $hypothesis$ = そのチェックアウトＡＭは悲観しない ; $proof$ = 
事実1: そのチェックアウトＡＭは共同作業しないけどそれは再構築する
事実2: もし仮にそのチェックアウトＡＭは共同作業しないけど再構築すれば悲観する

仮説: そのチェックアウトＡＭは悲観しない