「「このカレドニアン・ホテルは終息しないかまたはそれは硬直するかもしくは両方ともである」ということは偽だ」ということは成り立つ
fact1: 仮に「このカレドニアン・ホテルはアフターサービスだ」ということは成り立つとすれば「終息しないかもしくは硬直するかあるいは両方である」ということは成り立つということはない fact2: このカレドニアン・ホテルはアフターサービスだ
$facts$ = fact1: 仮に「このカレドニアン・ホテルはアフターサービスだ」ということは成り立つとすれば「終息しないかもしくは硬直するかあるいは両方である」ということは成り立つということはない fact2: このカレドニアン・ホテルはアフターサービスだ ; $hypothesis$ = 「「このカレドニアン・ホテルは終息しないかまたはそれは硬直するかもしくは両方ともである」ということは偽だ」ということは成り立つ ; $proof$ = 
事実1: 仮に「このカレドニアン・ホテルはアフターサービスだ」ということは成り立つとすれば「終息しないかもしくは硬直するかあるいは両方である」ということは成り立つということはない
事実2: このカレドニアン・ホテルはアフターサービスだ

仮説: 「「このカレドニアン・ホテルは終息しないかまたはそれは硬直するかもしくは両方ともである」ということは偽だ」ということは成り立つ