「「あの九呂は直り難いし自動化する」ということは事実と異なる」ということは確かである
fact1: この六祖は自動化する fact2: あの九呂は直り難い fact3: あの九呂は自動化する
$facts$ = fact1: この六祖は自動化する fact2: あの九呂は直り難い fact3: あの九呂は自動化する ; $hypothesis$ = 「「あの九呂は直り難いし自動化する」ということは事実と異なる」ということは確かである ; $proof$ = 
事実1: この六祖は自動化する
事実2: あの九呂は直り難い
事実3: あの九呂は自動化する

仮説: 「「あの九呂は直り難いし自動化する」ということは事実と異なる」ということは確かである