「追い回さないとすれば装甲しない」ものはある
fact1: 「もしも納入しないなら「御恥ずかしい」ということは嘘でない」物はある fact2: 仮にあの酒菜が驚きでないとすればそれは装甲しない fact3: なにかは追い回さないとすると装甲しない fact4: もしもなんらかのものが追い回さないとしたらそれは装甲する fact5: 遣り難いものは似付かわしくらない fact6: あの酒菜が狩り出さないならばそれは装甲する fact7: もし仮に「とある物は棲息しない」ということは正しいとしたら「それは崩れ始めない」ということは成り立つ fact8: 仮にあの野菜等が利用し辛いならばそれは口惜しくない fact9: 抜け易い物は御めでたくない fact10: もしもなにかは奇数ページでないならば「それは引かない」ということは事実だ
fact3 -> int1: もしもあの酒菜が追い回さないとしたら装甲しない; int1 -> hypothesis;
fact3 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「もしも納入しないなら「御恥ずかしい」ということは嘘でない」物はある fact2: 仮にあの酒菜が驚きでないとすればそれは装甲しない fact3: なにかは追い回さないとすると装甲しない fact4: もしもなんらかのものが追い回さないとしたらそれは装甲する fact5: 遣り難いものは似付かわしくらない fact6: あの酒菜が狩り出さないならばそれは装甲する fact7: もし仮に「とある物は棲息しない」ということは正しいとしたら「それは崩れ始めない」ということは成り立つ fact8: 仮にあの野菜等が利用し辛いならばそれは口惜しくない fact9: 抜け易い物は御めでたくない fact10: もしもなにかは奇数ページでないならば「それは引かない」ということは事実だ ; $hypothesis$ = 「追い回さないとすれば装甲しない」ものはある ; $proof$ = 
fact3 -> int1: もしもあの酒菜が追い回さないとしたら装甲しない; int1 -> hypothesis; __PROVED__
事実1: 「もしも納入しないなら「御恥ずかしい」ということは嘘でない」物はある
事実2: 仮にあの酒菜が驚きでないとすればそれは装甲しない
事実3: なにかは追い回さないとすると装甲しない
事実4: もしもなんらかのものが追い回さないとしたらそれは装甲する
事実5: 遣り難いものは似付かわしくらない
事実6: あの酒菜が狩り出さないならばそれは装甲する
事実7: もし仮に「とある物は棲息しない」ということは正しいとしたら「それは崩れ始めない」ということは成り立つ
事実8: 仮にあの野菜等が利用し辛いならばそれは口惜しくない
事実9: 抜け易い物は御めでたくない
事実10: もしもなにかは奇数ページでないならば「それは引かない」ということは事実だ

仮説: 「追い回さないとすれば装甲しない」ものはある
1. 事実3から、推論1: "もしもあの酒菜が追い回さないとしたら装甲しない"が導かれる
2. 推論1から、仮説が導かれる

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