あの楼門は恥ずない
fact1: あの楼門は同効薬である fact2: あの楼門は御馴染む fact3: その昭は恥ず fact4: 仮にその専門学校が恥ずならきもい fact5: もしもあの楼門はしたがれば暮らし易い fact6: その旅行者は恥ず fact7: その生活保護制度は暮らし易い fact8: あの楼門は常連達だ fact9: あの楼門は暮らし易い fact10: あの楼門は座す fact11: あの顧客Ａは暮らし易い fact12: もしあの楼門が暮らし易いとするとそれは恥ず fact13: あの週休日は暮らし易い fact14: この二パーセント前後は暮らし易い fact15: あの楼門は無権代理だ
fact12 & fact9 -> hypothesis;
$facts$ = fact1: あの楼門は同効薬である fact2: あの楼門は御馴染む fact3: その昭は恥ず fact4: 仮にその専門学校が恥ずならきもい fact5: もしもあの楼門はしたがれば暮らし易い fact6: その旅行者は恥ず fact7: その生活保護制度は暮らし易い fact8: あの楼門は常連達だ fact9: あの楼門は暮らし易い fact10: あの楼門は座す fact11: あの顧客Ａは暮らし易い fact12: もしあの楼門が暮らし易いとするとそれは恥ず fact13: あの週休日は暮らし易い fact14: この二パーセント前後は暮らし易い fact15: あの楼門は無権代理だ ; $hypothesis$ = あの楼門は恥ずない ; $proof$ = 
fact12 & fact9 -> hypothesis; __DISPROVED__
事実1: あの楼門は同効薬である
事実2: あの楼門は御馴染む
事実3: その昭は恥ず
事実4: 仮にその専門学校が恥ずならきもい
事実5: もしもあの楼門はしたがれば暮らし易い
事実6: その旅行者は恥ず
事実7: その生活保護制度は暮らし易い
事実8: あの楼門は常連達だ
事実9: あの楼門は暮らし易い
事実10: あの楼門は座す
事実11: あの顧客Ａは暮らし易い
事実12: もしあの楼門が暮らし易いとするとそれは恥ず
事実13: あの週休日は暮らし易い
事実14: この二パーセント前後は暮らし易い
事実15: あの楼門は無権代理だ

仮説: あの楼門は恥ずない
1. 事実12と事実9から、仮説が否定される

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