Which type of reasoning involves progressing logically from a general theory to specific conclusions using facts or proven rules?