Mining Invariance from Nonlinear Multi-Environment Data: Binary Classification