「あの集約化は塩抜きしない」ということは本当である
fact1: この文明国は溶かし出すか潔いかあるいは両方ともである fact2: この文明国が溶かし出すならばあの集約化は塩抜きする fact3: もし仮にこの文明国が潔いならばあの集約化は塩抜きする
$facts$ = fact1: この文明国は溶かし出すか潔いかあるいは両方ともである fact2: この文明国が溶かし出すならばあの集約化は塩抜きする fact3: もし仮にこの文明国が潔いならばあの集約化は塩抜きする ; $hypothesis$ = 「あの集約化は塩抜きしない」ということは本当である ; $proof$ = 
事実1: この文明国は溶かし出すか潔いかあるいは両方ともである
事実2: この文明国が溶かし出すならばあの集約化は塩抜きする
事実3: もし仮にこの文明国が潔いならばあの集約化は塩抜きする

仮説: 「あの集約化は塩抜きしない」ということは本当である