Computers have already reasoned scientifically
Computer systems exist that have reasoned as scientists do, proposing explanatory hypotheses and choosing among them.
Example of models that are claimed to have reasoned scientifically are presented (for clarity here) as co-premises.