「あの司祭は血腥くないとすれば「あの司祭は群像であるかあるいは実行し易くない」ということは間違っている」ということは事実と異なる
fact1: 仮にとある物は血腥いということはないとすれば「群像であるかそれは実行し易くない」ということは成り立たない
$facts$ = fact1: 仮にとある物は血腥いということはないとすれば「群像であるかそれは実行し易くない」ということは成り立たない ; $hypothesis$ = 「あの司祭は血腥くないとすれば「あの司祭は群像であるかあるいは実行し易くない」ということは間違っている」ということは事実と異なる ; $proof$ = 
事実1: 仮にとある物は血腥いということはないとすれば「群像であるかそれは実行し易くない」ということは成り立たない

仮説: 「あの司祭は血腥くないとすれば「あの司祭は群像であるかあるいは実行し易くない」ということは間違っている」ということは事実と異なる