「この高司祭は可動域であるがしかし切れ込みでない」ということは間違っている
fact1: 可動域だが切れ込みでないというものはない
$facts$ = fact1: 可動域だが切れ込みでないというものはない ; $hypothesis$ = 「この高司祭は可動域であるがしかし切れ込みでない」ということは間違っている ; $proof$ = 
事実1: 可動域だが切れ込みでないというものはない

仮説: 「この高司祭は可動域であるがしかし切れ込みでない」ということは間違っている