The same Schmitt input uses the lower threshold to leave a prior HIGH state. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Inside the band, the prior state holds
The middle input lies between the two thresholds, so prior HIGH stays HIGH.
2V<25V<3V⇒hold prior
Dropping below the lower threshold switches LOW
The input is 1 volt, below the lower threshold of 2 volts.