このアセッツは自己破産だ
fact1: 入れ難い物が貪るとすればこのアセッツは自己破産である fact2: 仮にこの王位継承がアプリケーションプログラムだとすれば刺々しい fact3: 仮にその媚肉が双方向コミュニケーションでなくてその上それが貪らないならばそれは入れ難くない fact4: 仮に「なんらかのものはアプリケーションプログラムでないがしかし死に切れる」ということは誤りならば刺々しい fact5: あるものは刺々しいとすれば「入れ難い」ということは事実である fact6: 「このアセッツは抑制するし更にそれは追求権である」ということは成り立つ fact7: もし仮にあるものはアプリケーションプログラムであるとしたら刺々しい fact8: 「「この王位継承はアプリケーションプログラムでそれは死に切れる」ということは事実だ」ということは間違っている fact9: 「貪る」ものはある fact10: この王位継承は吸引するしそれは自己破産である fact11: もし仮に「この王位継承はアプリケーションプログラムである」ということは成り立つとするとランクインする fact12: この王位継承が双方向コミュニケーションだし貪る fact13: 「この王位継承はアプリケーションプログラムでない一方で死に切れる」ということは偽だ
fact4 -> int1: もし仮に「この王位継承はアプリケーションプログラムでないが死に切れる」ということは成り立たないとすれば「それは刺々しい」ということは真実である; int1 & fact13 -> int2: この王位継承は刺々しい; fact5 -> int3: もしこの王位継承は刺々しいとしたら「それは入れ難い」ということは成り立つ; int2 & int3 -> int4: この王位継承は入れ難い; fact12 -> int5: この王位継承は貪る; int4 & int5 -> int6: この王位継承は入れ難くて貪る; int6 -> int7: なにがしかのものは入れ難くてそれは貪る; int7 & fact1 -> hypothesis;
このアセッツは自己破産だということはない
$facts$ = fact1: 入れ難い物が貪るとすればこのアセッツは自己破産である fact2: 仮にこの王位継承がアプリケーションプログラムだとすれば刺々しい fact3: 仮にその媚肉が双方向コミュニケーションでなくてその上それが貪らないならばそれは入れ難くない fact4: 仮に「なんらかのものはアプリケーションプログラムでないがしかし死に切れる」ということは誤りならば刺々しい fact5: あるものは刺々しいとすれば「入れ難い」ということは事実である fact6: 「このアセッツは抑制するし更にそれは追求権である」ということは成り立つ fact7: もし仮にあるものはアプリケーションプログラムであるとしたら刺々しい fact8: 「「この王位継承はアプリケーションプログラムでそれは死に切れる」ということは事実だ」ということは間違っている fact9: 「貪る」ものはある fact10: この王位継承は吸引するしそれは自己破産である fact11: もし仮に「この王位継承はアプリケーションプログラムである」ということは成り立つとするとランクインする fact12: この王位継承が双方向コミュニケーションだし貪る fact13: 「この王位継承はアプリケーションプログラムでない一方で死に切れる」ということは偽だ ; $hypothesis$ = このアセッツは自己破産だ ; $proof$ = 
fact4 -> int1: もし仮に「この王位継承はアプリケーションプログラムでないが死に切れる」ということは成り立たないとすれば「それは刺々しい」ということは真実である; int1 & fact13 -> int2: この王位継承は刺々しい; fact5 -> int3: もしこの王位継承は刺々しいとしたら「それは入れ難い」ということは成り立つ; int2 & int3 -> int4: この王位継承は入れ難い; fact12 -> int5: この王位継承は貪る; int4 & int5 -> int6: この王位継承は入れ難くて貪る; int6 -> int7: なにがしかのものは入れ難くてそれは貪る; int7 & fact1 -> hypothesis; __PROVED__
事実1: 入れ難い物が貪るとすればこのアセッツは自己破産である
事実2: 仮にこの王位継承がアプリケーションプログラムだとすれば刺々しい
事実3: 仮にその媚肉が双方向コミュニケーションでなくてその上それが貪らないならばそれは入れ難くない
事実4: 仮に「なんらかのものはアプリケーションプログラムでないがしかし死に切れる」ということは誤りならば刺々しい
事実5: あるものは刺々しいとすれば「入れ難い」ということは事実である
事実6: 「このアセッツは抑制するし更にそれは追求権である」ということは成り立つ
事実7: もし仮にあるものはアプリケーションプログラムであるとしたら刺々しい
事実8: 「「この王位継承はアプリケーションプログラムでそれは死に切れる」ということは事実だ」ということは間違っている
事実9: 「貪る」ものはある
事実10: この王位継承は吸引するしそれは自己破産である
事実11: もし仮に「この王位継承はアプリケーションプログラムである」ということは成り立つとするとランクインする
事実12: この王位継承が双方向コミュニケーションだし貪る
事実13: 「この王位継承はアプリケーションプログラムでない一方で死に切れる」ということは偽だ

仮説: このアセッツは自己破産だ
1. 事実4から、推論1: "もし仮に「この王位継承はアプリケーションプログラムでないが死に切れる」ということは成り立たないとすれば「それは刺々しい」ということは真実である"が導かれる
2. 推論1と事実13から、推論2: "この王位継承は刺々しい"が導かれる
3. 事実5から、推論3: "もしこの王位継承は刺々しいとしたら「それは入れ難い」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "この王位継承は入れ難い"が導かれる
5. 事実12から、推論5: "この王位継承は貪る"が導かれる
6. 推論4と推論5から、推論6: "この王位継承は入れ難くて貪る"が導かれる
7. 推論6から、推論7: "なにがしかのものは入れ難くてそれは貪る"が導かれる
8. 推論7と事実1から、仮説が導かれる

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