Filter order monotonicity rules by NLESS hypothesis