「若過ぎることとまえまよLv.23事件が起きる」ということは事実である
fact1: まえまよLv.23事件が発生する fact2: 若過ぎることおよび茶色っぽいということが起こる
fact2 -> int1: 若過ぎることが発生する; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
$facts$ = fact1: まえまよLv.23事件が発生する fact2: 若過ぎることおよび茶色っぽいということが起こる ; $hypothesis$ = 「若過ぎることとまえまよLv.23事件が起きる」ということは事実である ; $proof$ = 
fact2 -> int1: 若過ぎることが発生する; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__