そのぽちょぽえLv.36は心許なくない
fact1: もしこのもわもいLv.89が心許ないならばそのぽちょぽえLv.36はし辛い fact2: もし仮にこのもわもいLv.89が心許なくておまけにし辛いとすればそのぽちょぽえLv.36は心許なくない fact3: このもわもいLv.89がし辛いしその上それは湿っぽい
fact3 -> int1: 「このもわもいLv.89はし辛い」ということは本当である;
fact3 -> int1: {A}{a};
そのぽちょぽえLv.36は心許なくない
$facts$ = fact1: もしこのもわもいLv.89が心許ないならばそのぽちょぽえLv.36はし辛い fact2: もし仮にこのもわもいLv.89が心許なくておまけにし辛いとすればそのぽちょぽえLv.36は心許なくない fact3: このもわもいLv.89がし辛いしその上それは湿っぽい ; $hypothesis$ = そのぽちょぽえLv.36は心許なくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__