その小松基地は総括原価主義でない
fact1: 仮にその小松基地が出るとするとそれは総括原価主義だ fact2: その小松基地は出る
$facts$ = fact1: 仮にその小松基地が出るとするとそれは総括原価主義だ fact2: その小松基地は出る ; $hypothesis$ = その小松基地は総括原価主義でない ; $proof$ = 
事実1: 仮にその小松基地が出るとするとそれは総括原価主義だ
事実2: その小松基地は出る

仮説: その小松基地は総括原価主義でない