そのマウントはクニクリだということはない
fact1: なんらかの物は誇りっぽくないかもしくは悲しかまたはどちらもである fact2: 「「誇りっぽくないかあるいは悲しかどちらもである」ということは間違っていない」物があるとしたらそのマウントはクニクリでない
$facts$ = fact1: なんらかの物は誇りっぽくないかもしくは悲しかまたはどちらもである fact2: 「「誇りっぽくないかあるいは悲しかどちらもである」ということは間違っていない」物があるとしたらそのマウントはクニクリでない ; $hypothesis$ = そのマウントはクニクリだということはない ; $proof$ = 
事実1: なんらかの物は誇りっぽくないかもしくは悲しかまたはどちらもである
事実2: 「「誇りっぽくないかあるいは悲しかどちらもである」ということは間違っていない」物があるとしたらそのマウントはクニクリでない

仮説: そのマウントはクニクリだということはない