Don’t we? We can build something which has all the output associated with reasoning.

I’d say we’ve figured out the fundamentals behind reasoning.