その一部弁済はもんどりでなくて幼しない
fact1: あの南朝鮮は少なくない fact2: 持ち易い物は積み重ねる fact3: その一部弁済は呪う fact4: この拠ん所は呪う fact5: 「その一部弁済はもんどりだがしかし幼しない」ということは偽だ fact6: その一部弁済は詠み込む fact7: 「しょぼいものは持ち易い」ということは真実だ fact8: 「その第三譜は幼し」ということは正しい fact9: もしなにかは積み重ねるとすれば「もんどりでないしまたそれは幼しない」ということは成り立つということはない fact10: もし仮にその一部弁済が染みるとすると存続す fact11: もし何かは疎んぜないならば積み重ねるしそれは持ち易い fact12: 仮にその一部弁済が呪うとすればしょぼい fact13: もしその一部弁済が免れ難いならばしょぼい fact14: 「その一部弁済は肌寒くなくて更にそれはもんどりでない」ということは間違っている fact15: 仮にこの列幅が呪わないとするとその一部弁済はもんどりだということはないしそれに幼しない fact16: この管楽器はもんどりである fact17: 「その一部弁済は積み重ねる」ということは誤りでないとすると「もんどりであるということはなくて幼し」ということは間違っている fact18: 仮に「このリージョナルは呪わないけどしょぼい」ということは正しいならばこの列幅は呪わない
fact12 & fact3 -> int1: その一部弁済はしょぼい; fact7 -> int2: 仮にその一部弁済がしょぼいとするとそれは持ち易い; int1 & int2 -> int3: その一部弁済は持ち易い; fact2 -> int4: その一部弁済が持ち易いとすると積み重ねる; int3 & int4 -> int5: その一部弁済は積み重ねる; fact9 -> int6: その一部弁済は積み重ねるとしたら「もんどりでないし幼しない」ということは誤りだ; int5 & int6 -> hypothesis;
その一部弁済はもんどりでないしかつ幼しない
fact19 -> int7: このリージョナルは疎んぜないとしたら「積み重ねるし加えて持ち易い」ということは本当である; fact22 -> int8: ある物は少なくない;
$facts$ = fact1: あの南朝鮮は少なくない fact2: 持ち易い物は積み重ねる fact3: その一部弁済は呪う fact4: この拠ん所は呪う fact5: 「その一部弁済はもんどりだがしかし幼しない」ということは偽だ fact6: その一部弁済は詠み込む fact7: 「しょぼいものは持ち易い」ということは真実だ fact8: 「その第三譜は幼し」ということは正しい fact9: もしなにかは積み重ねるとすれば「もんどりでないしまたそれは幼しない」ということは成り立つということはない fact10: もし仮にその一部弁済が染みるとすると存続す fact11: もし何かは疎んぜないならば積み重ねるしそれは持ち易い fact12: 仮にその一部弁済が呪うとすればしょぼい fact13: もしその一部弁済が免れ難いならばしょぼい fact14: 「その一部弁済は肌寒くなくて更にそれはもんどりでない」ということは間違っている fact15: 仮にこの列幅が呪わないとするとその一部弁済はもんどりだということはないしそれに幼しない fact16: この管楽器はもんどりである fact17: 「その一部弁済は積み重ねる」ということは誤りでないとすると「もんどりであるということはなくて幼し」ということは間違っている fact18: 仮に「このリージョナルは呪わないけどしょぼい」ということは正しいならばこの列幅は呪わない ; $hypothesis$ = その一部弁済はもんどりでなくて幼しない ; $proof$ = 
fact12 & fact3 -> int1: その一部弁済はしょぼい; fact7 -> int2: 仮にその一部弁済がしょぼいとするとそれは持ち易い; int1 & int2 -> int3: その一部弁済は持ち易い; fact2 -> int4: その一部弁済が持ち易いとすると積み重ねる; int3 & int4 -> int5: その一部弁済は積み重ねる; fact9 -> int6: その一部弁済は積み重ねるとしたら「もんどりでないし幼しない」ということは誤りだ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: あの南朝鮮は少なくない
事実2: 持ち易い物は積み重ねる
事実3: その一部弁済は呪う
事実4: この拠ん所は呪う
事実5: 「その一部弁済はもんどりだがしかし幼しない」ということは偽だ
事実6: その一部弁済は詠み込む
事実7: 「しょぼいものは持ち易い」ということは真実だ
事実8: 「その第三譜は幼し」ということは正しい
事実9: もしなにかは積み重ねるとすれば「もんどりでないしまたそれは幼しない」ということは成り立つということはない
事実10: もし仮にその一部弁済が染みるとすると存続す
事実11: もし何かは疎んぜないならば積み重ねるしそれは持ち易い
事実12: 仮にその一部弁済が呪うとすればしょぼい
事実13: もしその一部弁済が免れ難いならばしょぼい
事実14: 「その一部弁済は肌寒くなくて更にそれはもんどりでない」ということは間違っている
事実15: 仮にこの列幅が呪わないとするとその一部弁済はもんどりだということはないしそれに幼しない
事実16: この管楽器はもんどりである
事実17: 「その一部弁済は積み重ねる」ということは誤りでないとすると「もんどりであるということはなくて幼し」ということは間違っている
事実18: 仮に「このリージョナルは呪わないけどしょぼい」ということは正しいならばこの列幅は呪わない

仮説: その一部弁済はもんどりでなくて幼しない
1. 事実12と事実3から、推論1: "その一部弁済はしょぼい"が導かれる
2. 事実7から、推論2: "仮にその一部弁済がしょぼいとするとそれは持ち易い"が導かれる
3. 推論1と推論2から、推論3: "その一部弁済は持ち易い"が導かれる
4. 事実2から、推論4: "その一部弁済が持ち易いとすると積み重ねる"が導かれる
5. 推論3と推論4から、推論5: "その一部弁済は積み重ねる"が導かれる
6. 事実9から、推論6: "その一部弁済は積み重ねるとしたら「もんどりでないし幼しない」ということは誤りだ"が導かれる
7. 推論5と推論6から、仮説が否定される

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