「「あの多項は騎馬でないがそれは○○○だ」ということは間違いだ」ということは真実だ
fact1: あの多項は騎馬でないが○○○だ
$facts$ = fact1: あの多項は騎馬でないが○○○だ ; $hypothesis$ = 「「あの多項は騎馬でないがそれは○○○だ」ということは間違いだ」ということは真実だ ; $proof$ = 
事実1: あの多項は騎馬でないが○○○だ

仮説: 「「あの多項は騎馬でないがそれは○○○だ」ということは間違いだ」ということは真実だ