この節約は辿れない
fact1: 「全ては汚らわしいしかつ資本原理である」ということは真実だ fact2: 「もしある物は償えるとしたら「汚らわしいしそれは資本原理でない」ということは事実と異なる」ということは成り立つ fact3: 「「震え続けるし償える」ということは成り立つということはない」物があるとすればこの節約は辿れる fact4: すべては資本原理である fact5: もしもなにがしかのものは汚らわしいなら「その自己破産手続きは震え続けるし償える」ということは成り立たない
fact1 -> int1: この完膚は汚らわしいしかつそれは資本原理である; int1 -> int2: この完膚は汚らわしい; int2 -> int3: 「汚らわしい」ものはある; int3 & fact5 -> int4: 「その自己破産手続きは震え続けるし償える」ということは成り立たない; int4 -> int5: 「「震え続けるし償える」ということは事実でない」物はある; int5 & fact3 -> hypothesis;
「この節約は辿れない」ということは成り立つ
fact6 -> int6: その自己破産手続きは償えるなら「それは汚らわしいけど資本原理でない」ということは間違っている;
$facts$ = fact1: 「全ては汚らわしいしかつ資本原理である」ということは真実だ fact2: 「もしある物は償えるとしたら「汚らわしいしそれは資本原理でない」ということは事実と異なる」ということは成り立つ fact3: 「「震え続けるし償える」ということは成り立つということはない」物があるとすればこの節約は辿れる fact4: すべては資本原理である fact5: もしもなにがしかのものは汚らわしいなら「その自己破産手続きは震え続けるし償える」ということは成り立たない ; $hypothesis$ = この節約は辿れない ; $proof$ = 
fact1 -> int1: この完膚は汚らわしいしかつそれは資本原理である; int1 -> int2: この完膚は汚らわしい; int2 -> int3: 「汚らわしい」ものはある; int3 & fact5 -> int4: 「その自己破産手続きは震え続けるし償える」ということは成り立たない; int4 -> int5: 「「震え続けるし償える」ということは事実でない」物はある; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: 「全ては汚らわしいしかつ資本原理である」ということは真実だ
事実2: 「もしある物は償えるとしたら「汚らわしいしそれは資本原理でない」ということは事実と異なる」ということは成り立つ
事実3: 「「震え続けるし償える」ということは成り立つということはない」物があるとすればこの節約は辿れる
事実4: すべては資本原理である
事実5: もしもなにがしかのものは汚らわしいなら「その自己破産手続きは震え続けるし償える」ということは成り立たない

仮説: この節約は辿れない
1. 事実1から、推論1: "この完膚は汚らわしいしかつそれは資本原理である"が導かれる
2. 推論1から、推論2: "この完膚は汚らわしい"が導かれる
3. 推論2から、推論3: "「汚らわしい」ものはある"が導かれる
4. 推論3と事実5から、推論4: "「その自己破産手続きは震え続けるし償える」ということは成り立たない"が導かれる
5. 推論4から、推論5: "「「震え続けるし償える」ということは事実でない」物はある"が導かれる
6. 推論5と事実3から、仮説が否定される

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