その高名は外出しない
fact1: 「「祈り願うということはなくてしかも概念的基礎でない」ということは成り立つということはない」物はある fact2: 「「祈り願わないし概念的基礎でない」ということは嘘な」物があればその高名は外出する
$facts$ = fact1: 「「祈り願うということはなくてしかも概念的基礎でない」ということは成り立つということはない」物はある fact2: 「「祈り願わないし概念的基礎でない」ということは嘘な」物があればその高名は外出する ; $hypothesis$ = その高名は外出しない ; $proof$ = 
事実1: 「「祈り願うということはなくてしかも概念的基礎でない」ということは成り立つということはない」物はある
事実2: 「「祈り願わないし概念的基礎でない」ということは嘘な」物があればその高名は外出する

仮説: その高名は外出しない