чем моя логика не устроила?
Две машины заезжают подряд, вторая будет недомыта, т. к. первая уже покидает мойку, и срабатывает датчик I2.
Я бы еще ввел ограничение на время работы насоса.