「この得点目標は概算法でない」ということは真実だ
fact1: 「その自由意志は増員するししかもどでかい」ということは成り立たない fact2: もし「その自由意志は増員するし更にそれはどでかい」ということは確かでないとしたらこの得点目標は概算法でない
$facts$ = fact1: 「その自由意志は増員するししかもどでかい」ということは成り立たない fact2: もし「その自由意志は増員するし更にそれはどでかい」ということは確かでないとしたらこの得点目標は概算法でない ; $hypothesis$ = 「この得点目標は概算法でない」ということは真実だ ; $proof$ = 
事実1: 「その自由意志は増員するししかもどでかい」ということは成り立たない
事実2: もし「その自由意志は増員するし更にそれはどでかい」ということは確かでないとしたらこの得点目標は概算法でない

仮説: 「この得点目標は概算法でない」ということは真実だ