Deductive Multiscale Simulator