その民衆救済は近いということはない
fact1: もし仮にこのソリューションがあざとくないとすればその民衆救済は近い fact2: 「何らかの物は中途退学する」ということは誤っていない fact3: その全体化は口唇ヘルペスである fact4: なんらかの物は侮れるし加えてあざとい fact5: 「このソリューションは侮れる」ということは真実である fact6: 「なにかは侮れる」ということは正しい fact7: その全体化は申し訳無い fact8: このソリューションは申し訳無くない fact9: なにかは首尾良くて近い fact10: 「その内需は申し訳無い」ということは間違いでない fact11: 「愛くるしい」ものはある fact12: その全体化が申し訳無いとしたらそれは首尾良い fact13: この善人は侮れる fact14: 仮に首尾良いものが侮れるとするとこのソリューションはあざとくない fact15: もしもその全体化が近いとすれば首尾良い fact16: その全体化は侮れる fact17: このソリューションは近い fact18: その実態調査報告書は申し訳無い
fact12 & fact7 -> int1: その全体化は首尾良い; int1 & fact16 -> int2: その全体化は首尾良いしさらに侮れる; int2 -> int3: あるものは首尾良くて加えて侮れる; int3 & fact14 -> int4: このソリューションはあざとくない; int4 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのソリューションがあざとくないとすればその民衆救済は近い fact2: 「何らかの物は中途退学する」ということは誤っていない fact3: その全体化は口唇ヘルペスである fact4: なんらかの物は侮れるし加えてあざとい fact5: 「このソリューションは侮れる」ということは真実である fact6: 「なにかは侮れる」ということは正しい fact7: その全体化は申し訳無い fact8: このソリューションは申し訳無くない fact9: なにかは首尾良くて近い fact10: 「その内需は申し訳無い」ということは間違いでない fact11: 「愛くるしい」ものはある fact12: その全体化が申し訳無いとしたらそれは首尾良い fact13: この善人は侮れる fact14: 仮に首尾良いものが侮れるとするとこのソリューションはあざとくない fact15: もしもその全体化が近いとすれば首尾良い fact16: その全体化は侮れる fact17: このソリューションは近い fact18: その実態調査報告書は申し訳無い ; $hypothesis$ = その民衆救済は近いということはない ; $proof$ = 
fact12 & fact7 -> int1: その全体化は首尾良い; int1 & fact16 -> int2: その全体化は首尾良いしさらに侮れる; int2 -> int3: あるものは首尾良くて加えて侮れる; int3 & fact14 -> int4: このソリューションはあざとくない; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこのソリューションがあざとくないとすればその民衆救済は近い
事実2: 「何らかの物は中途退学する」ということは誤っていない
事実3: その全体化は口唇ヘルペスである
事実4: なんらかの物は侮れるし加えてあざとい
事実5: 「このソリューションは侮れる」ということは真実である
事実6: 「なにかは侮れる」ということは正しい
事実7: その全体化は申し訳無い
事実8: このソリューションは申し訳無くない
事実9: なにかは首尾良くて近い
事実10: 「その内需は申し訳無い」ということは間違いでない
事実11: 「愛くるしい」ものはある
事実12: その全体化が申し訳無いとしたらそれは首尾良い
事実13: この善人は侮れる
事実14: 仮に首尾良いものが侮れるとするとこのソリューションはあざとくない
事実15: もしもその全体化が近いとすれば首尾良い
事実16: その全体化は侮れる
事実17: このソリューションは近い
事実18: その実態調査報告書は申し訳無い

仮説: その民衆救済は近いということはない
1. 事実12と事実7から、推論1: "その全体化は首尾良い"が導かれる
2. 推論1と事実16から、推論2: "その全体化は首尾良いしさらに侮れる"が導かれる
3. 推論2から、推論3: "あるものは首尾良くて加えて侮れる"が導かれる
4. 推論3と事実14から、推論4: "このソリューションはあざとくない"が導かれる
5. 推論4と事実1から、仮説が否定される

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