あの本領域は取っ付き難いということはない
fact1: 何らかのものは設計し直さないとすると取っ付き難い fact2: あの本領域は給付建てだ fact3: あの本領域は給付建てだけれど設計し直すということはない
fact3 -> int1: 「あの本領域は設計し直さない」ということは確かだ; fact1 -> int2: 仮にあの本領域は設計し直さないならば「それは取っ付き難い」ということは確かである; int1 & int2 -> hypothesis;
fact3 -> int1: ¬{B}{a}; fact1 -> int2: ¬{B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 何らかのものは設計し直さないとすると取っ付き難い fact2: あの本領域は給付建てだ fact3: あの本領域は給付建てだけれど設計し直すということはない ; $hypothesis$ = あの本領域は取っ付き難いということはない ; $proof$ = 
fact3 -> int1: 「あの本領域は設計し直さない」ということは確かだ; fact1 -> int2: 仮にあの本領域は設計し直さないならば「それは取っ付き難い」ということは確かである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 何らかのものは設計し直さないとすると取っ付き難い
事実2: あの本領域は給付建てだ
事実3: あの本領域は給付建てだけれど設計し直すということはない

仮説: あの本領域は取っ付き難いということはない
1. 事実3から、推論1: "「あの本領域は設計し直さない」ということは確かだ"が導かれる
2. 事実1から、推論2: "仮にあの本領域は設計し直さないならば「それは取っ付き難い」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が否定される

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