この韓国系は続航する
fact1: この韓国系は主人格だ fact2: もしなにかは風刺するとしたらそれは続航しないけど主人格である fact3: この韓国系は続航するし主人格である
fact3 -> hypothesis;
fact3 -> hypothesis;
この韓国系は続航しない
fact4 -> int1: もし仮にこの韓国系が風刺するとしたらそれは続航しないが主人格だ;
$facts$ = fact1: この韓国系は主人格だ fact2: もしなにかは風刺するとしたらそれは続航しないけど主人格である fact3: この韓国系は続航するし主人格である ; $hypothesis$ = この韓国系は続航する ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: この韓国系は主人格だ
事実2: もしなにかは風刺するとしたらそれは続航しないけど主人格である
事実3: この韓国系は続航するし主人格である

仮説: この韓国系は続航する
1. 事実3から、仮説が導かれる

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