「「かどわかすということはなくて○○先生である」ということは間違いな」物はある
fact1: もし仮になにかは現物給付でないかまたは居並ばないかまたはどちらもならばそれは居並ばない fact2: なにがしかの物が取り消せるとしたら記憶容量である fact3: この不自由さは頼もしくない fact4: 仮にあの武芸者が記憶容量であるとすればこの不自由さは居並ぶ fact5: 仮にあの武芸者がかどわかさないけど○○先生だとしたら「それは取り消せる」ということは真実だ fact6: あの武芸者はかどわかすし○○先生なら取り消せる fact7: もしもある物が傍証しない一方でそれがかどわかすとしたら手数料である fact8: もし仮にこの不自由さは頼もしくないとすると「それは現物給付だということはない」ということは偽だということはない
void -> assump1: 以下のように仮定する。あの武芸者はかどわかさない一方で○○先生である; fact5 & assump1 -> int1: あの武芸者は取り消せる; fact2 -> int2: あの武芸者が取り消せるなら記憶容量だ; int1 & int2 -> int3: あの武芸者は記憶容量である; int3 & fact4 -> int4: この不自由さは居並ぶ; fact1 -> int5: 仮にこの不自由さが現物給付であるということはないかそれが居並ぶということはないとすれば居並ばない; fact8 & fact3 -> int6: この不自由さは現物給付でない; int6 -> int7: この不自由さは現物給付でないかまたは居並ばないかまたは両方だ; int5 & int7 -> int8: 「この不自由さは居並ばない」ということは成り立つ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「あの武芸者はかどわかさない一方で○○先生だ」ということは誤っている; int10 -> hypothesis;
もし仮にこの治癒過程は傍証しないけれどかどわかすとしたらそれは手数料である
fact9 -> hypothesis;
$facts$ = fact1: もし仮になにかは現物給付でないかまたは居並ばないかまたはどちらもならばそれは居並ばない fact2: なにがしかの物が取り消せるとしたら記憶容量である fact3: この不自由さは頼もしくない fact4: 仮にあの武芸者が記憶容量であるとすればこの不自由さは居並ぶ fact5: 仮にあの武芸者がかどわかさないけど○○先生だとしたら「それは取り消せる」ということは真実だ fact6: あの武芸者はかどわかすし○○先生なら取り消せる fact7: もしもある物が傍証しない一方でそれがかどわかすとしたら手数料である fact8: もし仮にこの不自由さは頼もしくないとすると「それは現物給付だということはない」ということは偽だということはない ; $hypothesis$ = 「「かどわかすということはなくて○○先生である」ということは間違いな」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの武芸者はかどわかさない一方で○○先生である; fact5 & assump1 -> int1: あの武芸者は取り消せる; fact2 -> int2: あの武芸者が取り消せるなら記憶容量だ; int1 & int2 -> int3: あの武芸者は記憶容量である; int3 & fact4 -> int4: この不自由さは居並ぶ; fact1 -> int5: 仮にこの不自由さが現物給付であるということはないかそれが居並ぶということはないとすれば居並ばない; fact8 & fact3 -> int6: この不自由さは現物給付でない; int6 -> int7: この不自由さは現物給付でないかまたは居並ばないかまたは両方だ; int5 & int7 -> int8: 「この不自由さは居並ばない」ということは成り立つ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「あの武芸者はかどわかさない一方で○○先生だ」ということは誤っている; int10 -> hypothesis; __PROVED__
事実1: もし仮になにかは現物給付でないかまたは居並ばないかまたはどちらもならばそれは居並ばない
事実2: なにがしかの物が取り消せるとしたら記憶容量である
事実3: この不自由さは頼もしくない
事実4: 仮にあの武芸者が記憶容量であるとすればこの不自由さは居並ぶ
事実5: 仮にあの武芸者がかどわかさないけど○○先生だとしたら「それは取り消せる」ということは真実だ
事実6: あの武芸者はかどわかすし○○先生なら取り消せる
事実7: もしもある物が傍証しない一方でそれがかどわかすとしたら手数料である
事実8: もし仮にこの不自由さは頼もしくないとすると「それは現物給付だということはない」ということは偽だということはない

仮説: 「「かどわかすということはなくて○○先生である」ということは間違いな」物はある
1. 仮定1: 以下のように仮定する。あの武芸者はかどわかさない一方で○○先生である
2. 事実5と仮定1から、推論1: "あの武芸者は取り消せる"が導かれる
3. 事実2から、推論2: "あの武芸者が取り消せるなら記憶容量だ"が導かれる
4. 推論1と推論2から、推論3: "あの武芸者は記憶容量である"が導かれる
5. 推論3と事実4から、推論4: "この不自由さは居並ぶ"が導かれる
6. 事実1から、推論5: "仮にこの不自由さが現物給付であるということはないかそれが居並ぶということはないとすれば居並ばない"が導かれる
7. 事実8と事実3から、推論6: "この不自由さは現物給付でない"が導かれる
8. 推論6から、推論7: "この不自由さは現物給付でないかまたは居並ばないかまたは両方だ"が導かれる
9. 推論5と推論7から、推論8: "「この不自由さは居並ばない」ということは成り立つ"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「あの武芸者はかどわかさない一方で○○先生だ」ということは誤っている"が導かれる
12. 推論10から、仮説が導かれる

よって、仮説が証明されました。