この納刀は収載しない
fact1: 仮に「「あの控訴裁判所は地盤であるかあるいは許し難いか両方ともだ」ということは確かだ」ということは偽ならばこの納刀は収載しない fact2: 「あの控訴裁判所は地盤であるか許し難いか両方ともである」ということは嘘だ
$facts$ = fact1: 仮に「「あの控訴裁判所は地盤であるかあるいは許し難いか両方ともだ」ということは確かだ」ということは偽ならばこの納刀は収載しない fact2: 「あの控訴裁判所は地盤であるか許し難いか両方ともである」ということは嘘だ ; $hypothesis$ = この納刀は収載しない ; $proof$ = 
事実1: 仮に「「あの控訴裁判所は地盤であるかあるいは許し難いか両方ともだ」ということは確かだ」ということは偽ならばこの納刀は収載しない
事実2: 「あの控訴裁判所は地盤であるか許し難いか両方ともである」ということは嘘だ

仮説: この納刀は収載しない