「「貴人でないかあるいはとんがるかまたはどちらもだ」ということは間違っている」物はある
fact1: なにかは貴人でないかまたはそれはとんがるかもしくは両方ともである fact2: 「貴人な」物はある fact3: そのカンテラは貴人だ fact4: 「そのカンテラは貴人でないかとんがるか両方である」ということは真実でない fact5: 「「貴人であるかまたはとんがる」ということは偽な」物はある
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: なにかは貴人でないかまたはそれはとんがるかもしくは両方ともである fact2: 「貴人な」物はある fact3: そのカンテラは貴人だ fact4: 「そのカンテラは貴人でないかとんがるか両方である」ということは真実でない fact5: 「「貴人であるかまたはとんがる」ということは偽な」物はある ; $hypothesis$ = 「「貴人でないかあるいはとんがるかまたはどちらもだ」ということは間違っている」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: なにかは貴人でないかまたはそれはとんがるかもしくは両方ともである
事実2: 「貴人な」物はある
事実3: そのカンテラは貴人だ
事実4: 「そのカンテラは貴人でないかとんがるか両方である」ということは真実でない
事実5: 「「貴人であるかまたはとんがる」ということは偽な」物はある

仮説: 「「貴人でないかあるいはとんがるかまたはどちらもだ」ということは間違っている」物はある
1. 事実4から、仮説が導かれる

よって、仮説が証明されました。