その胸椎は絶え難いということはない
fact1: もし「悪しない」物があるとすればその胸椎は絶え難いがしかし太るということはない fact2: その胸椎は悪しけれどそれは流星でない fact3: 絶え難いということはない物があるとすればその胸椎は太らない fact4: 「「太るということはない」ということは成り立つ」ものはあるとしたら「その胸椎は護国神社であるがしかし渡らない」ということは事実である fact5: あの一ファンが悪しとするとそれは絶え難くないしそれは太る fact6: 「悪しない」物はある fact7: もしあの一ファンが絶え難くないけれど太ればその胸椎は絶え難くない fact8: もし「何らかのものは渡らなくてそれにそれは生理機能でない」ということは成り立たないとすれば「それは悪し」ということは正しい
fact6 & fact1 -> int1: その胸椎は絶え難いけれど太らない; int1 -> hypothesis;
「その胸椎は絶え難くない」ということは事実である
fact9 -> int2: もし仮に「あの一ファンは渡らないし生理機能でない」ということは誤っていればそれは悪し;
$facts$ = fact1: もし「悪しない」物があるとすればその胸椎は絶え難いがしかし太るということはない fact2: その胸椎は悪しけれどそれは流星でない fact3: 絶え難いということはない物があるとすればその胸椎は太らない fact4: 「「太るということはない」ということは成り立つ」ものはあるとしたら「その胸椎は護国神社であるがしかし渡らない」ということは事実である fact5: あの一ファンが悪しとするとそれは絶え難くないしそれは太る fact6: 「悪しない」物はある fact7: もしあの一ファンが絶え難くないけれど太ればその胸椎は絶え難くない fact8: もし「何らかのものは渡らなくてそれにそれは生理機能でない」ということは成り立たないとすれば「それは悪し」ということは正しい ; $hypothesis$ = その胸椎は絶え難いということはない ; $proof$ = 
fact6 & fact1 -> int1: その胸椎は絶え難いけれど太らない; int1 -> hypothesis; __DISPROVED__
事実1: もし「悪しない」物があるとすればその胸椎は絶え難いがしかし太るということはない
事実2: その胸椎は悪しけれどそれは流星でない
事実3: 絶え難いということはない物があるとすればその胸椎は太らない
事実4: 「「太るということはない」ということは成り立つ」ものはあるとしたら「その胸椎は護国神社であるがしかし渡らない」ということは事実である
事実5: あの一ファンが悪しとするとそれは絶え難くないしそれは太る
事実6: 「悪しない」物はある
事実7: もしあの一ファンが絶え難くないけれど太ればその胸椎は絶え難くない
事実8: もし「何らかのものは渡らなくてそれにそれは生理機能でない」ということは成り立たないとすれば「それは悪し」ということは正しい

仮説: その胸椎は絶え難いということはない
1. 事実6と事実1から、推論1: "その胸椎は絶え難いけれど太らない"が導かれる
2. 推論1から、仮説が否定される

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