その民族革命党は張れない
fact1: もし仮になにかは隙間無くて利付債であるとしたらその民族革命党は張れる fact2: 排他的独占権は隙間無くないかもしくは利付債であるかあるいはどちらもだ fact3: 隙間無くない物は貧しし髄節動静脈である fact4: その関係者全員は隙間無い fact5: なにかは張れるししかも利付債であるとすればあの関係者全員は隙間無い fact6: なにがしかのものは張れるし隙間無い fact7: 「隙間無い」物はある fact8: 何かは利付債である fact9: 「隙間無いしおまけに張れる」物はある fact10: 「その民族革命党は隙間無い」ということは本当だ fact11: その民族革命党は長居するし隙間無い fact12: その関係者全員は利付債である fact13: その関係者全員がシンクだししかもそれは定型化する
fact4 & fact12 -> int1: その関係者全員は隙間無くて加えて利付債である; int1 -> int2: 「隙間無くて更に利付債である」ものはある; int2 & fact1 -> hypothesis;
その関係者全員は貧しし髄節動静脈だ
fact14 -> int3: 仮にその関係者全員が隙間無くないとすると貧しし髄節動静脈である;
$facts$ = fact1: もし仮になにかは隙間無くて利付債であるとしたらその民族革命党は張れる fact2: 排他的独占権は隙間無くないかもしくは利付債であるかあるいはどちらもだ fact3: 隙間無くない物は貧しし髄節動静脈である fact4: その関係者全員は隙間無い fact5: なにかは張れるししかも利付債であるとすればあの関係者全員は隙間無い fact6: なにがしかのものは張れるし隙間無い fact7: 「隙間無い」物はある fact8: 何かは利付債である fact9: 「隙間無いしおまけに張れる」物はある fact10: 「その民族革命党は隙間無い」ということは本当だ fact11: その民族革命党は長居するし隙間無い fact12: その関係者全員は利付債である fact13: その関係者全員がシンクだししかもそれは定型化する ; $hypothesis$ = その民族革命党は張れない ; $proof$ = 
fact4 & fact12 -> int1: その関係者全員は隙間無くて加えて利付債である; int1 -> int2: 「隙間無くて更に利付債である」ものはある; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは隙間無くて利付債であるとしたらその民族革命党は張れる
事実2: 排他的独占権は隙間無くないかもしくは利付債であるかあるいはどちらもだ
事実3: 隙間無くない物は貧しし髄節動静脈である
事実4: その関係者全員は隙間無い
事実5: なにかは張れるししかも利付債であるとすればあの関係者全員は隙間無い
事実6: なにがしかのものは張れるし隙間無い
事実7: 「隙間無い」物はある
事実8: 何かは利付債である
事実9: 「隙間無いしおまけに張れる」物はある
事実10: 「その民族革命党は隙間無い」ということは本当だ
事実11: その民族革命党は長居するし隙間無い
事実12: その関係者全員は利付債である
事実13: その関係者全員がシンクだししかもそれは定型化する

仮説: その民族革命党は張れない
1. 事実4と事実12から、推論1: "その関係者全員は隙間無くて加えて利付債である"が導かれる
2. 推論1から、推論2: "「隙間無くて更に利付債である」ものはある"が導かれる
3. 推論2と事実1から、仮説が否定される

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