「その園芸は夜叉であるかそれは主債務者だ」ということは成り立たない
fact1: 「もしもある物はならず者達でないとすると「それは夜叉であるかもしくは主債務者だ」ということは事実と異なる」ということは事実である fact2: もしもこのＨＵが主債務者であるとすればあの園芸はならず者達である fact3: その園芸は脈打ち始めるかあるいは主債務者であるかまたはどちらもである fact4: 仮にこのＨＵがならず者達だとすればその園芸は夜叉である fact5: あらゆる物は吸い上げるかあるいはそれは園であるかまたは両方ともだ fact6: このＨＵが脈打ち始めるとするとその園芸は夜叉だ fact7: 全てはならず者達であるかもしくは脈打ち始める
fact7 -> int1: このＨＵはならず者達であるかあるいは脈打ち始める; int1 & fact4 & fact6 -> int2: その園芸は夜叉だ; int2 -> hypothesis;
「その園芸は夜叉であるかもしくは主債務者であるかもしくは両方ともである」ということは成り立たない
fact8 -> int3: もしもその園芸はならず者達でないとすると「夜叉であるかまたはそれは主債務者である」ということは誤りだ;
$facts$ = fact1: 「もしもある物はならず者達でないとすると「それは夜叉であるかもしくは主債務者だ」ということは事実と異なる」ということは事実である fact2: もしもこのＨＵが主債務者であるとすればあの園芸はならず者達である fact3: その園芸は脈打ち始めるかあるいは主債務者であるかまたはどちらもである fact4: 仮にこのＨＵがならず者達だとすればその園芸は夜叉である fact5: あらゆる物は吸い上げるかあるいはそれは園であるかまたは両方ともだ fact6: このＨＵが脈打ち始めるとするとその園芸は夜叉だ fact7: 全てはならず者達であるかもしくは脈打ち始める ; $hypothesis$ = 「その園芸は夜叉であるかそれは主債務者だ」ということは成り立たない ; $proof$ = 
fact7 -> int1: このＨＵはならず者達であるかあるいは脈打ち始める; int1 & fact4 & fact6 -> int2: その園芸は夜叉だ; int2 -> hypothesis; __DISPROVED__
事実1: 「もしもある物はならず者達でないとすると「それは夜叉であるかもしくは主債務者だ」ということは事実と異なる」ということは事実である
事実2: もしもこのＨＵが主債務者であるとすればあの園芸はならず者達である
事実3: その園芸は脈打ち始めるかあるいは主債務者であるかまたはどちらもである
事実4: 仮にこのＨＵがならず者達だとすればその園芸は夜叉である
事実5: あらゆる物は吸い上げるかあるいはそれは園であるかまたは両方ともだ
事実6: このＨＵが脈打ち始めるとするとその園芸は夜叉だ
事実7: 全てはならず者達であるかもしくは脈打ち始める

仮説: 「その園芸は夜叉であるかそれは主債務者だ」ということは成り立たない
1. 事実7から、推論1: "このＨＵはならず者達であるかあるいは脈打ち始める"が導かれる
2. 推論1と事実4と事実6から、推論2: "その園芸は夜叉だ"が導かれる
3. 推論2から、仮説が否定される

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