もくもくLv.17事件かまたはぴくぴにゃLv.18事件が起こる
fact1: 「もくもくLv.17事件が起こる」ということは本当である
fact1 -> int1: 「もくもくLv.17事件が起こる」ということは本当である; int1 -> hypothesis;
fact1 -> int1: {A}; int1 -> hypothesis;
$facts$ = fact1: 「もくもくLv.17事件が起こる」ということは本当である ; $hypothesis$ = もくもくLv.17事件かまたはぴくぴにゃLv.18事件が起こる ; $proof$ = 
fact1 -> int1: 「もくもくLv.17事件が起こる」ということは本当である; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 -> hypothesis; __PROVED__