The smallest and most exclusive grouping category is species.
Deductive reasoning.
Deductive reasoning is a type of reasoning where a general fact is broken down into a more specific case to make an inference. This general fact can be a broad branch of knowledge then gets into its parts that may comprise this broad knowledge.