Match the propositions and consequences