Deductive reasoning is the mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. it is impossible for the premises to be true and the conclusion to be false.
Although reptile-like in appearance and physiology, Dimetrodon is much more closely related to mammals than to reptiles, though it is not a direct ancestor of mammals.