このもにゃもなLv.93は其れっぽいししおらしい
fact1: もしあのぴちょぴえLv.12が其れっぽいとすればそのまゆまわLv.98は出来易い fact2: もし仮にあのぴちょぴえLv.12が熱くないなら其れっぽいし加えて出来易い fact3: もしも其れっぽいモンスターが出来易いならしおらしいということはない fact4: 仮にあのぴちょぴえLv.12は其れっぽくないならば「このもにゃもなLv.93は其れっぽいししかもしおらしい」ということは誤りだ
void -> assump1: 以下のように仮定する。あのぴちょぴえLv.12は其れっぽい; fact1 & assump1 -> int1: そのまゆまわLv.98は出来易い;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b};
「あのみねみにゅLv.78は出生するしおまけにしおらしい」ということは間違いである
fact6 -> int2: もしあのぴちょぴえLv.12が其れっぽいしおまけに出来易いとしたらあのぴちょぴえLv.12はしおらしくない;
$facts$ = fact1: もしあのぴちょぴえLv.12が其れっぽいとすればそのまゆまわLv.98は出来易い fact2: もし仮にあのぴちょぴえLv.12が熱くないなら其れっぽいし加えて出来易い fact3: もしも其れっぽいモンスターが出来易いならしおらしいということはない fact4: 仮にあのぴちょぴえLv.12は其れっぽくないならば「このもにゃもなLv.93は其れっぽいししかもしおらしい」ということは誤りだ ; $hypothesis$ = このもにゃもなLv.93は其れっぽいししおらしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__