このぽねぽなLv.73は四角いが寒ーくない
fact1: もし仮に「解毒する」モンスターはいるなら「このぽねぽなLv.73は四角いがしかしそれは寒ーくない」ということは間違いである fact2: もし仮にあるモンスターが解毒しないとすればそれは四角いけど寒ーいということはない fact3: もしこのぴゆぴちゃLv.35が出土する一方で解毒しないならこのぽねぽなLv.73は解毒しない
このぽねぽなLv.73は四角いが寒ーくない
fact5 -> int1: もし仮にこのぽねぽなLv.73が解毒するということはないとすると四角いけれど寒ーくない;
$facts$ = fact1: もし仮に「解毒する」モンスターはいるなら「このぽねぽなLv.73は四角いがしかしそれは寒ーくない」ということは間違いである fact2: もし仮にあるモンスターが解毒しないとすればそれは四角いけど寒ーいということはない fact3: もしこのぴゆぴちゃLv.35が出土する一方で解毒しないならこのぽねぽなLv.73は解毒しない ; $hypothesis$ = このぽねぽなLv.73は四角いが寒ーくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__