It is not obvious that a) reasoning is computable, b) that if it is, it's feasible and c) what reasoning is.