「「あの贄は狭苦しくないが磨き続ける」ということは事実でない」ということは成り立つ
fact1: なにがしかの物は竹内文書だとすれば「あの贄は狭苦しくない一方で磨き続ける」ということは偽である fact2: 「竹内文書な」ものはある
$facts$ = fact1: なにがしかの物は竹内文書だとすれば「あの贄は狭苦しくない一方で磨き続ける」ということは偽である fact2: 「竹内文書な」ものはある ; $hypothesis$ = 「「あの贄は狭苦しくないが磨き続ける」ということは事実でない」ということは成り立つ ; $proof$ = 
事実1: なにがしかの物は竹内文書だとすれば「あの贄は狭苦しくない一方で磨き続ける」ということは偽である
事実2: 「竹内文書な」ものはある

仮説: 「「あの贄は狭苦しくないが磨き続ける」ということは事実でない」ということは成り立つ