Extensional Inference with Indefinite Truth Values -- First-Order Extensional Inference