その対象労働者は成し遂げるということはなくてセル番地でない
fact1: この式部職は言い当てる fact2: この式部職は言い当てれば「その対象労働者は成し遂げなくてセル番地でない」ということは成り立たない fact3: そのソフロロジー式は言い当てる
$facts$ = fact1: この式部職は言い当てる fact2: この式部職は言い当てれば「その対象労働者は成し遂げなくてセル番地でない」ということは成り立たない fact3: そのソフロロジー式は言い当てる ; $hypothesis$ = その対象労働者は成し遂げるということはなくてセル番地でない ; $proof$ = 
事実1: この式部職は言い当てる
事実2: この式部職は言い当てれば「その対象労働者は成し遂げなくてセル番地でない」ということは成り立たない
事実3: そのソフロロジー式は言い当てる

仮説: その対象労働者は成し遂げるということはなくてセル番地でない