If reasoning is logical deduction, where one can make a series of claims: a implies b b implies c c implies d then a implies d then it seems that these mac

If reasoning is logical deduction, where one can make a series of claims: a implies b b implies c c implies d then a implies d then it seems that these machine learning algorithms, that predict tokens based on prior tokens, should be entirely capable of reasoning. No?