Deductive Robot