その縫い包みは処置時間である
fact1: このポジ型レジストが優先順位だとしたらその課税権は切なくない fact2: もし何らかの物は優先順位でないとすれば「それは切なくて加えて処置時間だ」ということは嘘でない fact3: もしその縫い包みがスムージングすればあの貸し金等根保証契約は処置時間でない fact4: 「あの貸し金等根保証契約は説明出来るかまたはそれはスムージングするかまたはどちらもである」ということは成り立たないなら「その縫い包みは処置時間でない」ということは確かである fact5: あの貸し金等根保証契約はスムージングする fact6: もし仮にあの貸し金等根保証契約が説明出来るかもしくはスムージングしないかあるいはどちらもであるとすればあのポジ型レジストは優先順位である fact7: その課税権は処置時間だ fact8: 全てのものは裏付けするしおまけに切ない fact9: このポジ型レジストは説明出来るかあるいは優先順位でない fact10: 「あの貸し金等根保証契約は説明出来るかあるいはスムージングしないか両方である」ということは嘘ならその縫い包みは処置時間だということはない
void -> assump1: 以下のように仮定する。あの貸し金等根保証契約は説明出来るかもしくはスムージングするということはないかどちらもである; fact6 & assump1 -> int1: このポジ型レジストは優先順位だ; int1 & fact1 -> int2: その課税権は切なくない; fact8 -> int3: その課税権は裏付けするしかつ切ない; int3 -> int4: その課税権は切ない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの貸し金等根保証契約は説明出来るかあるいはスムージングしないかあるいはどちらもだ」ということは成り立つということはない; int6 & fact10 -> hypothesis;
その縫い包みは処置時間である
fact11 -> int7: もしその縫い包みは優先順位でないならば切なくて処置時間だ;
$facts$ = fact1: このポジ型レジストが優先順位だとしたらその課税権は切なくない fact2: もし何らかの物は優先順位でないとすれば「それは切なくて加えて処置時間だ」ということは嘘でない fact3: もしその縫い包みがスムージングすればあの貸し金等根保証契約は処置時間でない fact4: 「あの貸し金等根保証契約は説明出来るかまたはそれはスムージングするかまたはどちらもである」ということは成り立たないなら「その縫い包みは処置時間でない」ということは確かである fact5: あの貸し金等根保証契約はスムージングする fact6: もし仮にあの貸し金等根保証契約が説明出来るかもしくはスムージングしないかあるいはどちらもであるとすればあのポジ型レジストは優先順位である fact7: その課税権は処置時間だ fact8: 全てのものは裏付けするしおまけに切ない fact9: このポジ型レジストは説明出来るかあるいは優先順位でない fact10: 「あの貸し金等根保証契約は説明出来るかあるいはスムージングしないか両方である」ということは嘘ならその縫い包みは処置時間だということはない ; $hypothesis$ = その縫い包みは処置時間である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの貸し金等根保証契約は説明出来るかもしくはスムージングするということはないかどちらもである; fact6 & assump1 -> int1: このポジ型レジストは優先順位だ; int1 & fact1 -> int2: その課税権は切なくない; fact8 -> int3: その課税権は裏付けするしかつ切ない; int3 -> int4: その課税権は切ない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの貸し金等根保証契約は説明出来るかあるいはスムージングしないかあるいはどちらもだ」ということは成り立つということはない; int6 & fact10 -> hypothesis; __DISPROVED__
事実1: このポジ型レジストが優先順位だとしたらその課税権は切なくない
事実2: もし何らかの物は優先順位でないとすれば「それは切なくて加えて処置時間だ」ということは嘘でない
事実3: もしその縫い包みがスムージングすればあの貸し金等根保証契約は処置時間でない
事実4: 「あの貸し金等根保証契約は説明出来るかまたはそれはスムージングするかまたはどちらもである」ということは成り立たないなら「その縫い包みは処置時間でない」ということは確かである
事実5: あの貸し金等根保証契約はスムージングする
事実6: もし仮にあの貸し金等根保証契約が説明出来るかもしくはスムージングしないかあるいはどちらもであるとすればあのポジ型レジストは優先順位である
事実7: その課税権は処置時間だ
事実8: 全てのものは裏付けするしおまけに切ない
事実9: このポジ型レジストは説明出来るかあるいは優先順位でない
事実10: 「あの貸し金等根保証契約は説明出来るかあるいはスムージングしないか両方である」ということは嘘ならその縫い包みは処置時間だということはない

仮説: その縫い包みは処置時間である
1. 仮定1: 以下のように仮定する。あの貸し金等根保証契約は説明出来るかもしくはスムージングするということはないかどちらもである
2. 事実6と仮定1から、推論1: "このポジ型レジストは優先順位だ"が導かれる
3. 推論1と事実1から、推論2: "その課税権は切なくない"が導かれる
4. 事実8から、推論3: "その課税権は裏付けするしかつ切ない"が導かれる
5. 推論3から、推論4: "その課税権は切ない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの貸し金等根保証契約は説明出来るかあるいはスムージングしないかあるいはどちらもだ」ということは成り立つということはない"が導かれる
8. 推論6と事実10から、仮説が否定される

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