lazy ass machine learning scientists today just wanna make artificial neurons and train them to recognize hentai or whatever

what happened to predicate logic in AI? huh? what about an AI that can *prove* hentai???