「あの表示板は畳み込むということはない」ということは成り立つ
fact1: もしこのカルクッスが拙くないならその単一通貨は憂くない一方で畳み込む fact2: そのトランスポーターは畳み込む fact3: 仮にその単一通貨が憂いとしたらあの表示板は畳み込む fact4: その一ヘクタール当たりは畳み込む fact5: その単一通貨は憂い fact6: 「この年賀状は拙くないけどまだるっこしい」ということは間違いであるとするとこのカルクッスは拙くない fact7: 仮にその単一通貨が憂くないがしかし畳み込むとするとあの表示板は畳み込まない fact8: あの表示板は離せる
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
あの表示板は畳み込まない
$facts$ = fact1: もしこのカルクッスが拙くないならその単一通貨は憂くない一方で畳み込む fact2: そのトランスポーターは畳み込む fact3: 仮にその単一通貨が憂いとしたらあの表示板は畳み込む fact4: その一ヘクタール当たりは畳み込む fact5: その単一通貨は憂い fact6: 「この年賀状は拙くないけどまだるっこしい」ということは間違いであるとするとこのカルクッスは拙くない fact7: 仮にその単一通貨が憂くないがしかし畳み込むとするとあの表示板は畳み込まない fact8: あの表示板は離せる ; $hypothesis$ = 「あの表示板は畳み込むということはない」ということは成り立つ ; $proof$ = 
fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: もしこのカルクッスが拙くないならその単一通貨は憂くない一方で畳み込む
事実2: そのトランスポーターは畳み込む
事実3: 仮にその単一通貨が憂いとしたらあの表示板は畳み込む
事実4: その一ヘクタール当たりは畳み込む
事実5: その単一通貨は憂い
事実6: 「この年賀状は拙くないけどまだるっこしい」ということは間違いであるとするとこのカルクッスは拙くない
事実7: 仮にその単一通貨が憂くないがしかし畳み込むとするとあの表示板は畳み込まない
事実8: あの表示板は離せる

仮説: 「あの表示板は畳み込むということはない」ということは成り立つ
1. 事実3と事実5から、仮説が否定される

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