その蓮池城は封鎖する
fact1: もしもその覇が接着面ならばその蓮池城は封鎖する fact2: その覇は煩わしい fact3: 「その蓮池城は封鎖する」ということは成り立つとしたらその覇は心憎い fact4: 仮に「その蓮池城は接着面でない」ということは成り立たないならばあの覇は封鎖する fact5: その蓮池城が二ＰＸならその覇は封鎖する fact6: この御洗濯は封鎖する fact7: そのメタプログラムは接着面である fact8: この群読が接着面だとしたらこの自由競争は封鎖する fact9: あの確執は接着面である fact10: その蓮池城は接着面である fact11: もしもその覇が微笑むならばあの蓮池城は歩み掛ける fact12: 仮にこの坊目誌が封鎖すればその一日以後は接着面である fact13: もしもその蓮池城がへたばればその覇は封鎖する fact14: その蓮池城は理解致す fact15: その覇は接着面である fact16: あの十日号は封鎖する fact17: 「あの本堂は封鎖する」ということは事実である fact18: あの三学年は接着面だ fact19: その覇は封鎖する fact20: もしその覇が封鎖するとしたらその蓮池城は接着面である fact21: その覇は二ＰＸである
fact1 & fact15 -> hypothesis;
fact1 & fact15 -> hypothesis;
$facts$ = fact1: もしもその覇が接着面ならばその蓮池城は封鎖する fact2: その覇は煩わしい fact3: 「その蓮池城は封鎖する」ということは成り立つとしたらその覇は心憎い fact4: 仮に「その蓮池城は接着面でない」ということは成り立たないならばあの覇は封鎖する fact5: その蓮池城が二ＰＸならその覇は封鎖する fact6: この御洗濯は封鎖する fact7: そのメタプログラムは接着面である fact8: この群読が接着面だとしたらこの自由競争は封鎖する fact9: あの確執は接着面である fact10: その蓮池城は接着面である fact11: もしもその覇が微笑むならばあの蓮池城は歩み掛ける fact12: 仮にこの坊目誌が封鎖すればその一日以後は接着面である fact13: もしもその蓮池城がへたばればその覇は封鎖する fact14: その蓮池城は理解致す fact15: その覇は接着面である fact16: あの十日号は封鎖する fact17: 「あの本堂は封鎖する」ということは事実である fact18: あの三学年は接着面だ fact19: その覇は封鎖する fact20: もしその覇が封鎖するとしたらその蓮池城は接着面である fact21: その覇は二ＰＸである ; $hypothesis$ = その蓮池城は封鎖する ; $proof$ = 
fact1 & fact15 -> hypothesis; __PROVED__
事実1: もしもその覇が接着面ならばその蓮池城は封鎖する
事実2: その覇は煩わしい
事実3: 「その蓮池城は封鎖する」ということは成り立つとしたらその覇は心憎い
事実4: 仮に「その蓮池城は接着面でない」ということは成り立たないならばあの覇は封鎖する
事実5: その蓮池城が二ＰＸならその覇は封鎖する
事実6: この御洗濯は封鎖する
事実7: そのメタプログラムは接着面である
事実8: この群読が接着面だとしたらこの自由競争は封鎖する
事実9: あの確執は接着面である
事実10: その蓮池城は接着面である
事実11: もしもその覇が微笑むならばあの蓮池城は歩み掛ける
事実12: 仮にこの坊目誌が封鎖すればその一日以後は接着面である
事実13: もしもその蓮池城がへたばればその覇は封鎖する
事実14: その蓮池城は理解致す
事実15: その覇は接着面である
事実16: あの十日号は封鎖する
事実17: 「あの本堂は封鎖する」ということは事実である
事実18: あの三学年は接着面だ
事実19: その覇は封鎖する
事実20: もしその覇が封鎖するとしたらその蓮池城は接着面である
事実21: その覇は二ＰＸである

仮説: その蓮池城は封鎖する
1. 事実1と事実15から、仮説が導かれる

よって、仮説が証明されました。