「この下取り価格は山深い」ということは正しい
fact1: 「「物凄まじくないし典籍でない」ということは間違いな」ものはある fact2: もしも「「物凄まじくないししかも典籍でない」ということは本当だということはない」ものがあるとしたらこの下取り価格は山深くない
$facts$ = fact1: 「「物凄まじくないし典籍でない」ということは間違いな」ものはある fact2: もしも「「物凄まじくないししかも典籍でない」ということは本当だということはない」ものがあるとしたらこの下取り価格は山深くない ; $hypothesis$ = 「この下取り価格は山深い」ということは正しい ; $proof$ = 
事実1: 「「物凄まじくないし典籍でない」ということは間違いな」ものはある
事実2: もしも「「物凄まじくないししかも典籍でない」ということは本当だということはない」ものがあるとしたらこの下取り価格は山深くない

仮説: 「この下取り価格は山深い」ということは正しい