「「この窃盗犯は調べ易いかあるいはそれはがっくりする」ということは成り立つ」ということは成り立たない
fact1: もし仮に「この窃盗犯は親王であるということはない」ということは成り立つなら「それは調べ易いかまたはがっくりする」ということは成り立つということはない fact2: この窃盗犯は親王だということはない
$facts$ = fact1: もし仮に「この窃盗犯は親王であるということはない」ということは成り立つなら「それは調べ易いかまたはがっくりする」ということは成り立つということはない fact2: この窃盗犯は親王だということはない ; $hypothesis$ = 「「この窃盗犯は調べ易いかあるいはそれはがっくりする」ということは成り立つ」ということは成り立たない ; $proof$ = 
事実1: もし仮に「この窃盗犯は親王であるということはない」ということは成り立つなら「それは調べ易いかまたはがっくりする」ということは成り立つということはない
事実2: この窃盗犯は親王だということはない

仮説: 「「この窃盗犯は調べ易いかあるいはそれはがっくりする」ということは成り立つ」ということは成り立たない