Not talking about agi. I am doing proof by contradiction. Yes current models of ML are primitive but the reasoning attributes you brought up have been reproduced in ML.. albeit in a primitive way.

It is still proof by contradiction, what you say is categorically not true.