あのぷにょぷわLv.23は素早くない
fact1: 仮にあのぴなぴくLv.39が出易いとしたらこのぷねぷよLv.21は日本らしい fact2: もしもこのぷねぷよLv.21が困り果てるならあのぷにょぷわLv.23は素早い fact3: あのぴなぴくLv.39は出易い fact4: 作業し易いモンスターは再編集する
fact1 & fact3 -> int1: このぷねぷよLv.21は日本らしい;
fact1 & fact3 -> int1: {B}{b};
そのぴちゅぴにゃLv.14が作業し易いならばそのぴちゅぴにゃLv.14は再編集する
fact5 -> hypothesis;
$facts$ = fact1: 仮にあのぴなぴくLv.39が出易いとしたらこのぷねぷよLv.21は日本らしい fact2: もしもこのぷねぷよLv.21が困り果てるならあのぷにょぷわLv.23は素早い fact3: あのぴなぴくLv.39は出易い fact4: 作業し易いモンスターは再編集する ; $hypothesis$ = あのぷにょぷわLv.23は素早くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__