この雲上は優先権主張でない
fact1: その死後経過時間はポストスクリプト名であるかあるいはそれは居辛くないか両方である fact2: もし仮にその死後経過時間はポストスクリプト名であるとすれば「この雲上は優先権主張である」ということは正しい fact3: 「仮にその死後経過時間が居辛くないならこの雲上は優先権主張だ」ということは成り立つ
$facts$ = fact1: その死後経過時間はポストスクリプト名であるかあるいはそれは居辛くないか両方である fact2: もし仮にその死後経過時間はポストスクリプト名であるとすれば「この雲上は優先権主張である」ということは正しい fact3: 「仮にその死後経過時間が居辛くないならこの雲上は優先権主張だ」ということは成り立つ ; $hypothesis$ = この雲上は優先権主張でない ; $proof$ = 
事実1: その死後経過時間はポストスクリプト名であるかあるいはそれは居辛くないか両方である
事実2: もし仮にその死後経過時間はポストスクリプト名であるとすれば「この雲上は優先権主張である」ということは正しい
事実3: 「仮にその死後経過時間が居辛くないならこの雲上は優先権主張だ」ということは成り立つ

仮説: この雲上は優先権主張でない