あの丸窓は非難がましかない
fact1: もしもあの丸窓が処理しないなら非難がましいしおまけに新業態だ fact2: 「あの丸窓は戦略課題である」ということは本当である fact3: 「ホームステイするし加えて来難い」ものはある fact4: もし「あの丸窓は戦略課題である」ということは真実であるならばそれは聞き辛い fact5: もし新業態が処理するとしたらあの丸窓は非難がましかない fact6: 「新業態だししかも処理する」ものはある fact7: 「この遮音性能は新業態であるということはない」ということは本当である fact8: あの丸窓は公務執行妨害でない fact9: あるものは処理する fact10: 「物欲しいし奉じる」物はある fact11: 「非難がましい」物はある fact12: あの丸窓は御辛抱でない fact13: あの丸窓は新業態でない fact14: 「放牧するし勉強す」物はある
fact6 & fact5 -> hypothesis;
fact6 & fact5 -> hypothesis;
「あの丸窓は非難がましい」ということは真実だ
fact17 & fact16 -> int1: あの丸窓は聞き辛い;
$facts$ = fact1: もしもあの丸窓が処理しないなら非難がましいしおまけに新業態だ fact2: 「あの丸窓は戦略課題である」ということは本当である fact3: 「ホームステイするし加えて来難い」ものはある fact4: もし「あの丸窓は戦略課題である」ということは真実であるならばそれは聞き辛い fact5: もし新業態が処理するとしたらあの丸窓は非難がましかない fact6: 「新業態だししかも処理する」ものはある fact7: 「この遮音性能は新業態であるということはない」ということは本当である fact8: あの丸窓は公務執行妨害でない fact9: あるものは処理する fact10: 「物欲しいし奉じる」物はある fact11: 「非難がましい」物はある fact12: あの丸窓は御辛抱でない fact13: あの丸窓は新業態でない fact14: 「放牧するし勉強す」物はある ; $hypothesis$ = あの丸窓は非難がましかない ; $proof$ = 
fact6 & fact5 -> hypothesis; __PROVED__
事実1: もしもあの丸窓が処理しないなら非難がましいしおまけに新業態だ
事実2: 「あの丸窓は戦略課題である」ということは本当である
事実3: 「ホームステイするし加えて来難い」ものはある
事実4: もし「あの丸窓は戦略課題である」ということは真実であるならばそれは聞き辛い
事実5: もし新業態が処理するとしたらあの丸窓は非難がましかない
事実6: 「新業態だししかも処理する」ものはある
事実7: 「この遮音性能は新業態であるということはない」ということは本当である
事実8: あの丸窓は公務執行妨害でない
事実9: あるものは処理する
事実10: 「物欲しいし奉じる」物はある
事実11: 「非難がましい」物はある
事実12: あの丸窓は御辛抱でない
事実13: あの丸窓は新業態でない
事実14: 「放牧するし勉強す」物はある

仮説: あの丸窓は非難がましかない
1. 事実6と事実5から、仮説が導かれる

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