There are two kinds of enthymemes: (a) the demonstrative, formed by the conjunction of compatible propositions; (b) the refutative, formed by the conjuction of incompatible propositions.