そのぴなぴにゅLv.46は名残惜しい
fact1: あのぴちょぴえLv.4は長ーいしまた重んじる fact2: もし仮にあのぴちょぴえLv.4が重んじれば出易いけど孵らない fact3: あのぴちょぴえLv.4が出易いがしかしそれが孵らないならそのぴなぴにゅLv.46は名残惜しい
fact1 -> int1: あのぴちょぴえLv.4は重んじる; int1 & fact2 -> int2: あのぴちょぴえLv.4は出易いがしかしそれは孵らない; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & ¬{D}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぴちょぴえLv.4は長ーいしまた重んじる fact2: もし仮にあのぴちょぴえLv.4が重んじれば出易いけど孵らない fact3: あのぴちょぴえLv.4が出易いがしかしそれが孵らないならそのぴなぴにゅLv.46は名残惜しい ; $hypothesis$ = そのぴなぴにゅLv.46は名残惜しい ; $proof$ = 
fact1 -> int1: あのぴちょぴえLv.4は重んじる; int1 & fact2 -> int2: あのぴちょぴえLv.4は出易いがしかしそれは孵らない; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & ¬{D}{a}); int2 & fact3 -> hypothesis; __PROVED__