その二万五千分の一地形図は建て込むかあるいは快くないかあるいは両方ともだ
fact1: 「その二万五千分の一地形図は冗談っぽくない」ということは成り立つ fact2: もしも「その二万五千分の一地形図は冗談っぽいということはない」ということは本当だとすれば「建て込むかもしくは快くない」ということは成り立たない
$facts$ = fact1: 「その二万五千分の一地形図は冗談っぽくない」ということは成り立つ fact2: もしも「その二万五千分の一地形図は冗談っぽいということはない」ということは本当だとすれば「建て込むかもしくは快くない」ということは成り立たない ; $hypothesis$ = その二万五千分の一地形図は建て込むかあるいは快くないかあるいは両方ともだ ; $proof$ = 
事実1: 「その二万五千分の一地形図は冗談っぽくない」ということは成り立つ
事実2: もしも「その二万五千分の一地形図は冗談っぽいということはない」ということは本当だとすれば「建て込むかもしくは快くない」ということは成り立たない

仮説: その二万五千分の一地形図は建て込むかあるいは快くないかあるいは両方ともだ