Values -- First-Order Extensional Inference: Rules and Strength Formulas -- First-Order