「もし仮に「この実地検査は黒革だけれど高額化しない」ということは間違いであるとするとこの実地検査は招待するということはない」ということは嘘である
fact1: もし「あるものは黒革であるがしかしそれは高額化しない」ということは成り立たないとしたらそれは招待しない
$facts$ = fact1: もし「あるものは黒革であるがしかしそれは高額化しない」ということは成り立たないとしたらそれは招待しない ; $hypothesis$ = 「もし仮に「この実地検査は黒革だけれど高額化しない」ということは間違いであるとするとこの実地検査は招待するということはない」ということは嘘である ; $proof$ = 
事実1: もし「あるものは黒革であるがしかしそれは高額化しない」ということは成り立たないとしたらそれは招待しない

仮説: 「もし仮に「この実地検査は黒革だけれど高額化しない」ということは間違いであるとするとこの実地検査は招待するということはない」ということは嘘である