「その町村は早くてそれは商業登記法である」ということは間違っている
fact1: その町村は再整備しない一方でストック計算である fact2: 仮に何らかのものが学童でないかあるいは早いかあるいは両方だとするとその町村は早い fact3: 何かは再整備しないけどストック計算であるならば商業登記法である fact4: 「学童でないかまたは早いかまたは両方ともな」ものはある
fact3 -> int1: もし仮にその町村は再整備しないがストック計算であるとすれば「商業登記法である」ということは誤っていない; int1 & fact1 -> int2: その町村は商業登記法である; fact4 & fact2 -> int3: その町村は早い; int2 & int3 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; fact4 & fact2 -> int3: {A}{aa}; int2 & int3 -> hypothesis;
$facts$ = fact1: その町村は再整備しない一方でストック計算である fact2: 仮に何らかのものが学童でないかあるいは早いかあるいは両方だとするとその町村は早い fact3: 何かは再整備しないけどストック計算であるならば商業登記法である fact4: 「学童でないかまたは早いかまたは両方ともな」ものはある ; $hypothesis$ = 「その町村は早くてそれは商業登記法である」ということは間違っている ; $proof$ = 
fact3 -> int1: もし仮にその町村は再整備しないがストック計算であるとすれば「商業登記法である」ということは誤っていない; int1 & fact1 -> int2: その町村は商業登記法である; fact4 & fact2 -> int3: その町村は早い; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その町村は再整備しない一方でストック計算である
事実2: 仮に何らかのものが学童でないかあるいは早いかあるいは両方だとするとその町村は早い
事実3: 何かは再整備しないけどストック計算であるならば商業登記法である
事実4: 「学童でないかまたは早いかまたは両方ともな」ものはある

仮説: 「その町村は早くてそれは商業登記法である」ということは間違っている
1. 事実3から、推論1: "もし仮にその町村は再整備しないがストック計算であるとすれば「商業登記法である」ということは誤っていない"が導かれる
2. 推論1と事実1から、推論2: "その町村は商業登記法である"が導かれる
3. 事実4と事実2から、推論3: "その町村は早い"が導かれる
4. 推論2と推論3から、仮説が否定される

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