あの財務内容は浅し
fact1: あの失礼は足せる fact2: あの財務内容は足せる fact3: もしもあの財務内容は特別議決方法であるならば「浅しということはない」ということは事実だ fact4: もし仮にあるものは特別議決方法だとすれば「浅しということはない」ということは成り立つ fact5: 仮に何かは特別議決方法ならば「それは浅し」ということは確かである fact6: とある物は特別議決方法であるか足せるか両方であるとすれば浅しない
fact2 -> int1: あの財務内容は特別議決方法であるか足せる; fact6 -> int2: もしあの財務内容が特別議決方法であるかまたは足せるか両方であるなら浅しない; int1 & int2 -> hypothesis;
あの財務内容は浅し
fact7 -> int3: もし仮にあの財務内容が特別議決方法だとするとそれは浅し;
$facts$ = fact1: あの失礼は足せる fact2: あの財務内容は足せる fact3: もしもあの財務内容は特別議決方法であるならば「浅しということはない」ということは事実だ fact4: もし仮にあるものは特別議決方法だとすれば「浅しということはない」ということは成り立つ fact5: 仮に何かは特別議決方法ならば「それは浅し」ということは確かである fact6: とある物は特別議決方法であるか足せるか両方であるとすれば浅しない ; $hypothesis$ = あの財務内容は浅し ; $proof$ = 
fact2 -> int1: あの財務内容は特別議決方法であるか足せる; fact6 -> int2: もしあの財務内容が特別議決方法であるかまたは足せるか両方であるなら浅しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの失礼は足せる
事実2: あの財務内容は足せる
事実3: もしもあの財務内容は特別議決方法であるならば「浅しということはない」ということは事実だ
事実4: もし仮にあるものは特別議決方法だとすれば「浅しということはない」ということは成り立つ
事実5: 仮に何かは特別議決方法ならば「それは浅し」ということは確かである
事実6: とある物は特別議決方法であるか足せるか両方であるとすれば浅しない

仮説: あの財務内容は浅し
1. 事実2から、推論1: "あの財務内容は特別議決方法であるか足せる"が導かれる
2. 事実6から、推論2: "もしあの財務内容が特別議決方法であるかまたは足せるか両方であるなら浅しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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