ある物は訳すということはなくてまた抱き込まない
fact1: この六千形は訳すということはなくてまた抱き込まない
$facts$ = fact1: この六千形は訳すということはなくてまた抱き込まない ; $hypothesis$ = ある物は訳すということはなくてまた抱き込まない ; $proof$ = 
事実1: この六千形は訳すということはなくてまた抱き込まない

仮説: ある物は訳すということはなくてまた抱き込まない