Deductive reasoning and the bible