その蓮は及第するということはない
fact1: あの悪露は予見し得る fact2: 宜しないものは及第するしまた予見し得る fact3: あの悪露は宜し fact4: 仮に「何らかのものは予見し得るがしかし宜しない」ということは成り立たないならばそれは宜し fact5: 仮にあの悪露が予見し得るし宜しとすればその蓮は及第しない fact6: あの在住は直り難くてかつそれは芽生え始める
fact1 & fact3 -> int1: あの悪露は予見し得るしかつそれは宜し; int1 & fact5 -> hypothesis;
その蓮は及第する
fact8 -> int2: 仮にその蓮が宜しないとすれば及第するししかも予見し得る; fact7 -> int3: 「直り難いし芽生え始める」ものはある;
$facts$ = fact1: あの悪露は予見し得る fact2: 宜しないものは及第するしまた予見し得る fact3: あの悪露は宜し fact4: 仮に「何らかのものは予見し得るがしかし宜しない」ということは成り立たないならばそれは宜し fact5: 仮にあの悪露が予見し得るし宜しとすればその蓮は及第しない fact6: あの在住は直り難くてかつそれは芽生え始める ; $hypothesis$ = その蓮は及第するということはない ; $proof$ = 
fact1 & fact3 -> int1: あの悪露は予見し得るしかつそれは宜し; int1 & fact5 -> hypothesis; __PROVED__
事実1: あの悪露は予見し得る
事実2: 宜しないものは及第するしまた予見し得る
事実3: あの悪露は宜し
事実4: 仮に「何らかのものは予見し得るがしかし宜しない」ということは成り立たないならばそれは宜し
事実5: 仮にあの悪露が予見し得るし宜しとすればその蓮は及第しない
事実6: あの在住は直り難くてかつそれは芽生え始める

仮説: その蓮は及第するということはない
1. 事実1と事実3から、推論1: "あの悪露は予見し得るしかつそれは宜し"が導かれる
2. 推論1と事実5から、仮説が導かれる

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