そのぴちょぴちゅLv.76は素早い
fact1: もしもなんらかのモンスターが避け難いとしたらあどけない fact2: もしも「そのぴいぴのLv.27はあどけない」ということは嘘でないとしたらそのぴいぴのLv.27は出易い fact3: そのぴいぴのLv.27は避け難くて加えてあどけない fact4: そのぴいぴのLv.27が出易いとするとそのぴちょぴちゅLv.76は素早い
fact3 -> int1: そのぴいぴのLv.27はあどけない; int1 & fact2 -> int2: そのぴいぴのLv.27は出易い; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
あのぽいぽやLv.23は辛気臭いモンスターであどけない
fact5 -> int3: もし仮に「あのぽいぽやLv.23は避け難い」ということは確かであるならば「あのぽいぽやLv.23はあどけない」ということは間違っていない;
$facts$ = fact1: もしもなんらかのモンスターが避け難いとしたらあどけない fact2: もしも「そのぴいぴのLv.27はあどけない」ということは嘘でないとしたらそのぴいぴのLv.27は出易い fact3: そのぴいぴのLv.27は避け難くて加えてあどけない fact4: そのぴいぴのLv.27が出易いとするとそのぴちょぴちゅLv.76は素早い ; $hypothesis$ = そのぴちょぴちゅLv.76は素早い ; $proof$ = 
fact3 -> int1: そのぴいぴのLv.27はあどけない; int1 & fact2 -> int2: そのぴいぴのLv.27は出易い; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __PROVED__