この被服費は元帳でない
fact1: その飛躍的進展は松虫草であるしそれはルール化する fact2: もしなんらかの物は事故防止だとすると「それはルール化しないししかもそれは話し難い」ということは成り立たない fact3: この被服費は松虫草であるし黒い fact4: 「その飛躍的進展はルール化するしまた事故防止だ」ということは成り立つ fact5: この被服費は雇い人だ fact6: もしもなにかは心安いならば「それは用心すらない」ということは嘘でない fact7: もしその飛躍的進展が松虫草であるとすればこの被服費は事故防止だ fact8: もしも何らかの物がルール化しないとしたら松虫草だし更に元帳である fact9: もし仮に何かは事故防止であるとしたらそれは元帳でない
fact1 -> int1: その飛躍的進展は松虫草である; int1 & fact7 -> int2: この被服費は事故防止だ; fact9 -> int3: もしこの被服費は事故防止であるとすればそれは元帳でない; int2 & int3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{b}; fact9 -> int3: {C}{b} -> ¬{D}{b}; int2 & int3 -> hypothesis;
この被服費は元帳である
fact10 -> int4: この被服費がルール化しないならそれは松虫草であるしそれは元帳である; fact11 -> int5: もし仮にその飛躍的進展は事故防止であるとすれば「それはルール化しないけれど話し難い」ということは間違いだ;
$facts$ = fact1: その飛躍的進展は松虫草であるしそれはルール化する fact2: もしなんらかの物は事故防止だとすると「それはルール化しないししかもそれは話し難い」ということは成り立たない fact3: この被服費は松虫草であるし黒い fact4: 「その飛躍的進展はルール化するしまた事故防止だ」ということは成り立つ fact5: この被服費は雇い人だ fact6: もしもなにかは心安いならば「それは用心すらない」ということは嘘でない fact7: もしその飛躍的進展が松虫草であるとすればこの被服費は事故防止だ fact8: もしも何らかの物がルール化しないとしたら松虫草だし更に元帳である fact9: もし仮に何かは事故防止であるとしたらそれは元帳でない ; $hypothesis$ = この被服費は元帳でない ; $proof$ = 
fact1 -> int1: その飛躍的進展は松虫草である; int1 & fact7 -> int2: この被服費は事故防止だ; fact9 -> int3: もしこの被服費は事故防止であるとすればそれは元帳でない; int2 & int3 -> hypothesis; __PROVED__
事実1: その飛躍的進展は松虫草であるしそれはルール化する
事実2: もしなんらかの物は事故防止だとすると「それはルール化しないししかもそれは話し難い」ということは成り立たない
事実3: この被服費は松虫草であるし黒い
事実4: 「その飛躍的進展はルール化するしまた事故防止だ」ということは成り立つ
事実5: この被服費は雇い人だ
事実6: もしもなにかは心安いならば「それは用心すらない」ということは嘘でない
事実7: もしその飛躍的進展が松虫草であるとすればこの被服費は事故防止だ
事実8: もしも何らかの物がルール化しないとしたら松虫草だし更に元帳である
事実9: もし仮に何かは事故防止であるとしたらそれは元帳でない

仮説: この被服費は元帳でない
1. 事実1から、推論1: "その飛躍的進展は松虫草である"が導かれる
2. 推論1と事実7から、推論2: "この被服費は事故防止だ"が導かれる
3. 事実9から、推論3: "もしこの被服費は事故防止であるとすればそれは元帳でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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