「転任しない一方で御夜食だとしたら八世紀初頭でない」ものはある
fact1: 「仮にこの相対的記載事項が転任しないが御夜食ならばこの相対的記載事項は八世紀初頭でない」ということは本当である
$facts$ = fact1: 「仮にこの相対的記載事項が転任しないが御夜食ならばこの相対的記載事項は八世紀初頭でない」ということは本当である ; $hypothesis$ = 「転任しない一方で御夜食だとしたら八世紀初頭でない」ものはある ; $proof$ = 
事実1: 「仮にこの相対的記載事項が転任しないが御夜食ならばこの相対的記載事項は八世紀初頭でない」ということは本当である

仮説: 「転任しない一方で御夜食だとしたら八世紀初頭でない」ものはある