そのぷのぷなLv.37は幼い
fact1: 仮にあのぴのぴわLv.92が幼いとするとそのぷのぷなLv.37は転落する fact2: もしもあのぴのぴわLv.92がローストするとすればそのぷのぷなLv.37は幼い fact3: あのぴのぴわLv.92はローストするし転落する fact4: とあるモンスターが幼くないならばローストするしかつそれは転落する fact5: あのぴのぴわLv.92は転落する
fact3 -> int1: あのぴのぴわLv.92はローストする; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
そのもにょもやLv.30はローストする
fact6 -> int2: 仮にそのもにょもやLv.30が幼くないとするとそれはローストするし転落する;
$facts$ = fact1: 仮にあのぴのぴわLv.92が幼いとするとそのぷのぷなLv.37は転落する fact2: もしもあのぴのぴわLv.92がローストするとすればそのぷのぷなLv.37は幼い fact3: あのぴのぴわLv.92はローストするし転落する fact4: とあるモンスターが幼くないならばローストするしかつそれは転落する fact5: あのぴのぴわLv.92は転落する ; $hypothesis$ = そのぷのぷなLv.37は幼い ; $proof$ = 
fact3 -> int1: あのぴのぴわLv.92はローストする; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__