そのぴねぴにょLv.26はなあい
fact1: このもなもにLv.49は漢訳する fact2: あのもわもちょLv.49は漢訳する fact3: あのもわもちょLv.49が漢訳するとしたらあのぽやぽなLv.65は血腥い fact4: もしも「あのぽやぽなLv.65は血腥い」ということは成り立つとしたらそのぴねぴにょLv.26はなあい
fact3 & fact2 -> int1: あのぽやぽなLv.65は血腥い; int1 & fact4 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
$facts$ = fact1: このもなもにLv.49は漢訳する fact2: あのもわもちょLv.49は漢訳する fact3: あのもわもちょLv.49が漢訳するとしたらあのぽやぽなLv.65は血腥い fact4: もしも「あのぽやぽなLv.65は血腥い」ということは成り立つとしたらそのぴねぴにょLv.26はなあい ; $hypothesis$ = そのぴねぴにょLv.26はなあい ; $proof$ = 
fact3 & fact2 -> int1: あのぽやぽなLv.65は血腥い; int1 & fact4 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}{b}; int1 & fact4 -> hypothesis; __PROVED__