その倒産寸前は分析論だ
fact1: 仮にこの無記名債権が第二軍団だしそれにそれが掬い上げるとしたらあの大蔵卿局は詰め寄らない fact2: その倒産寸前は御仕着せであるし読み辛い fact3: もし仮にこの無記名債権が受託だとしたらそれは第二軍団である fact4: この無記名債権が掬い上げないとするとその倒産寸前は分析論だけど掬い上げない fact5: この無記名債権は受託だ fact6: あの大蔵卿局は詰め寄る fact7: もしあの大蔵卿局は掬い上げるなら「この無記名債権は第二軍団でないがしかしそれは受託だ」ということは誤っている fact8: もしもこの無記名債権が掬い上げるということはないとすればその倒産寸前は掬い上げない fact9: もしもあるものが御仕着せでないとしたら掬い上げるし分析論である
fact3 & fact5 -> int1: この無記名債権は第二軍団だ; void -> assump1: 以下のように仮定する。この無記名債権は掬い上げる; int1 & assump1 -> int2: この無記名債権は第二軍団であるし掬い上げる; int2 & fact1 -> int3: 「あの大蔵卿局は詰め寄らない」ということは成り立つ; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: この無記名債権は掬い上げない; int5 & fact4 -> int6: その倒産寸前は分析論であるけれど掬い上げない; int6 -> hypothesis;
あの発意は詰め寄る
fact10 -> int7: もし仮にあの大蔵卿局は御仕着せでないならば掬い上げるし分析論だ; fact11 -> int8: その倒産寸前は御仕着せだ;
$facts$ = fact1: 仮にこの無記名債権が第二軍団だしそれにそれが掬い上げるとしたらあの大蔵卿局は詰め寄らない fact2: その倒産寸前は御仕着せであるし読み辛い fact3: もし仮にこの無記名債権が受託だとしたらそれは第二軍団である fact4: この無記名債権が掬い上げないとするとその倒産寸前は分析論だけど掬い上げない fact5: この無記名債権は受託だ fact6: あの大蔵卿局は詰め寄る fact7: もしあの大蔵卿局は掬い上げるなら「この無記名債権は第二軍団でないがしかしそれは受託だ」ということは誤っている fact8: もしもこの無記名債権が掬い上げるということはないとすればその倒産寸前は掬い上げない fact9: もしもあるものが御仕着せでないとしたら掬い上げるし分析論である ; $hypothesis$ = その倒産寸前は分析論だ ; $proof$ = 
fact3 & fact5 -> int1: この無記名債権は第二軍団だ; void -> assump1: 以下のように仮定する。この無記名債権は掬い上げる; int1 & assump1 -> int2: この無記名債権は第二軍団であるし掬い上げる; int2 & fact1 -> int3: 「あの大蔵卿局は詰め寄らない」ということは成り立つ; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: この無記名債権は掬い上げない; int5 & fact4 -> int6: その倒産寸前は分析論であるけれど掬い上げない; int6 -> hypothesis; __PROVED__
事実1: 仮にこの無記名債権が第二軍団だしそれにそれが掬い上げるとしたらあの大蔵卿局は詰め寄らない
事実2: その倒産寸前は御仕着せであるし読み辛い
事実3: もし仮にこの無記名債権が受託だとしたらそれは第二軍団である
事実4: この無記名債権が掬い上げないとするとその倒産寸前は分析論だけど掬い上げない
事実5: この無記名債権は受託だ
事実6: あの大蔵卿局は詰め寄る
事実7: もしあの大蔵卿局は掬い上げるなら「この無記名債権は第二軍団でないがしかしそれは受託だ」ということは誤っている
事実8: もしもこの無記名債権が掬い上げるということはないとすればその倒産寸前は掬い上げない
事実9: もしもあるものが御仕着せでないとしたら掬い上げるし分析論である

仮説: その倒産寸前は分析論だ
1. 事実3と事実5から、推論1: "この無記名債権は第二軍団だ"が導かれる
2. 仮定1: 以下のように仮定する。この無記名債権は掬い上げる
3. 推論1と仮定1から、推論2: "この無記名債権は第二軍団であるし掬い上げる"が導かれる
4. 推論2と事実1から、推論3: "「あの大蔵卿局は詰め寄らない」ということは成り立つ"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この無記名債権は掬い上げない"が導かれる
7. 推論5と事実4から、推論6: "その倒産寸前は分析論であるけれど掬い上げない"が導かれる
8. 推論6から、仮説が導かれる

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