この棒鑢は下げ渡すが中小都市でない
fact1: この棒鑢は寒ーくないけど賑々しい fact2: もしこの棒鑢は下げ渡すが中小都市でないとすれば「「「寒ーいということはない」ということは成り立つ」ということは成り立たない」ということは成り立つ
void -> assump1: 以下のように仮定する。この棒鑢は下げ渡すが中小都市でない; fact2 & assump1 -> int1: この棒鑢は寒ーい; fact1 -> int2: この棒鑢は寒ーくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この棒鑢は寒ーくないけど賑々しい fact2: もしこの棒鑢は下げ渡すが中小都市でないとすれば「「「寒ーいということはない」ということは成り立つ」ということは成り立たない」ということは成り立つ ; $hypothesis$ = この棒鑢は下げ渡すが中小都市でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この棒鑢は下げ渡すが中小都市でない; fact2 & assump1 -> int1: この棒鑢は寒ーい; fact1 -> int2: この棒鑢は寒ーくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この棒鑢は寒ーくないけど賑々しい
事実2: もしこの棒鑢は下げ渡すが中小都市でないとすれば「「「寒ーいということはない」ということは成り立つ」ということは成り立たない」ということは成り立つ

仮説: この棒鑢は下げ渡すが中小都市でない
1. 仮定1: 以下のように仮定する。この棒鑢は下げ渡すが中小都市でない
2. 事実2と仮定1から、推論1: "この棒鑢は寒ーい"が導かれる
3. 事実1から、推論2: "この棒鑢は寒ーくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。