Comment by ben_w

None of what you have written answers my question (my question wasn't a yes/no one), your quotation isn't in the link, the link is full of examples of things which constitute automated reasoning, and there's no reason for me to doubt the possibility of ML ever achieving what is currently being done by the large number of tiny warm bags of chemicals that is an organic brain.