This involves a form of deductive reasoning that involves two premises and a conclusion. The two premises are connected by a logical quantifier such as "all," "some," or "none." The conclusion follows from the premises in a valid manner. For example, "All cats are animals. All animals have fur. Therefore, all cats have fur.".