This is theoretically true, but it's like saying "computers can compute any function, given enough time and resources". There is a need to construct logically-

This is theoretically true, but it's like saying "computers can compute any function, given enough time and resources". There is a need to construct logically-deduced models which impose an inductive bias so that your regression methods are efficient. That's where reasoning comes in, and where automated reasoning methods should be useful.