この分別は低減出来るし更に錆びる
fact1: 「搬出する」ものはある fact2: あらゆる物は座礁するしかつそれは検討課題でない fact3: もし仮に何らかのものは座礁しないとすれば「それは低減出来るし錆びる」ということは偽である fact4: この分別は擦り替える fact5: あの財団形態は搬出しない fact6: もしも「搬出するということはない」物があるとしたらこの分別は錆びるしその上擦り替える fact7: あの保育実習は搬出しない fact8: この分別は座礁する fact9: もしこのデリダ的脱構築が検討課題でないとすればあの分別は低減出来る fact10: もしこの通貨当局が低減出来ないなら検討課題であるしかつ遠出する fact11: どれもこれもは座礁する
fact2 -> int1: このデリダ的脱構築は座礁するけれど検討課題でない; int1 -> int2: このデリダ的脱構築は検討課題でない; int2 & fact9 -> int3: この分別は低減出来る; fact5 -> int4: 「搬出しない」物はある; fact6 & int4 -> int5: この分別は錆びるしかつ擦り替える; int5 -> int6: この分別は錆びる; int3 & int6 -> hypothesis;
「この分別は低減出来るしそれは錆びる」ということは成り立つということはない
fact12 -> int7: もしこの分別は座礁しないとすると「低減出来るし錆びる」ということは成り立たない;
$facts$ = fact1: 「搬出する」ものはある fact2: あらゆる物は座礁するしかつそれは検討課題でない fact3: もし仮に何らかのものは座礁しないとすれば「それは低減出来るし錆びる」ということは偽である fact4: この分別は擦り替える fact5: あの財団形態は搬出しない fact6: もしも「搬出するということはない」物があるとしたらこの分別は錆びるしその上擦り替える fact7: あの保育実習は搬出しない fact8: この分別は座礁する fact9: もしこのデリダ的脱構築が検討課題でないとすればあの分別は低減出来る fact10: もしこの通貨当局が低減出来ないなら検討課題であるしかつ遠出する fact11: どれもこれもは座礁する ; $hypothesis$ = この分別は低減出来るし更に錆びる ; $proof$ = 
fact2 -> int1: このデリダ的脱構築は座礁するけれど検討課題でない; int1 -> int2: このデリダ的脱構築は検討課題でない; int2 & fact9 -> int3: この分別は低減出来る; fact5 -> int4: 「搬出しない」物はある; fact6 & int4 -> int5: この分別は錆びるしかつ擦り替える; int5 -> int6: この分別は錆びる; int3 & int6 -> hypothesis; __PROVED__
事実1: 「搬出する」ものはある
事実2: あらゆる物は座礁するしかつそれは検討課題でない
事実3: もし仮に何らかのものは座礁しないとすれば「それは低減出来るし錆びる」ということは偽である
事実4: この分別は擦り替える
事実5: あの財団形態は搬出しない
事実6: もしも「搬出するということはない」物があるとしたらこの分別は錆びるしその上擦り替える
事実7: あの保育実習は搬出しない
事実8: この分別は座礁する
事実9: もしこのデリダ的脱構築が検討課題でないとすればあの分別は低減出来る
事実10: もしこの通貨当局が低減出来ないなら検討課題であるしかつ遠出する
事実11: どれもこれもは座礁する

仮説: この分別は低減出来るし更に錆びる
1. 事実2から、推論1: "このデリダ的脱構築は座礁するけれど検討課題でない"が導かれる
2. 推論1から、推論2: "このデリダ的脱構築は検討課題でない"が導かれる
3. 推論2と事実9から、推論3: "この分別は低減出来る"が導かれる
4. 事実5から、推論4: "「搬出しない」物はある"が導かれる
5. 事実6と推論4から、推論5: "この分別は錆びるしかつ擦り替える"が導かれる
6. 推論5から、推論6: "この分別は錆びる"が導かれる
7. 推論3と推論6から、仮説が導かれる

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