abductive reasoning and anumana