「この呼は乏しくないかもしくは掴み難くないかどちらもだ」ということは嘘だ
fact1: この呼は共有地だ fact2: もしこの呼が共有地だとしたらそれは乏しくないかあるいは掴み難くないかあるいは両方ともである
$facts$ = fact1: この呼は共有地だ fact2: もしこの呼が共有地だとしたらそれは乏しくないかあるいは掴み難くないかあるいは両方ともである ; $hypothesis$ = 「この呼は乏しくないかもしくは掴み難くないかどちらもだ」ということは嘘だ ; $proof$ = 
事実1: この呼は共有地だ
事実2: もしこの呼が共有地だとしたらそれは乏しくないかあるいは掴み難くないかあるいは両方ともである

仮説: 「この呼は乏しくないかもしくは掴み難くないかどちらもだ」ということは嘘だ