「その金匠はニュータウンでないか反政府勢力であるかあるいは両方である」ということは誤りだ
fact1: 「米国等でない」ものはある fact2: もしも「「米国等であるということはない」ということは成り立つ」ものはあるとすれば「「その金匠はニュータウンであるということはないかもしくはそれは反政府勢力だ」ということは誤りだ」ということは成り立つ
$facts$ = fact1: 「米国等でない」ものはある fact2: もしも「「米国等であるということはない」ということは成り立つ」ものはあるとすれば「「その金匠はニュータウンであるということはないかもしくはそれは反政府勢力だ」ということは誤りだ」ということは成り立つ ; $hypothesis$ = 「その金匠はニュータウンでないか反政府勢力であるかあるいは両方である」ということは誤りだ ; $proof$ = 
事実1: 「米国等でない」ものはある
事実2: もしも「「米国等であるということはない」ということは成り立つ」ものはあるとすれば「「その金匠はニュータウンであるということはないかもしくはそれは反政府勢力だ」ということは誤りだ」ということは成り立つ

仮説: 「その金匠はニュータウンでないか反政府勢力であるかあるいは両方である」ということは誤りだ