int PIN_RED = 0;
int PIN_GREEN = 1;
int PIN_BOTTOM = 3;
int PIN_TOP = 5;
int PIN_ON = 12;
int PIN_PUMP = 10;

int pump_on = 0;

void setup() {
    pinMode(PIN_RED, OUTPUT);
    pinMode(PIN_GREEN, OUTPUT);
    pinMode(PIN_PUMP, OUTPUT);
    pinMode(PIN_BOTTOM, INPUT_PULLUP);
    pinMode(PIN_TOP, INPUT_PULLUP);
    pinMode(PIN_ON, INPUT_PULLUP);
}

void loop() {
    if (digitalRead(PIN_BOTTOM) == HIGH) {
        digitalWrite(PIN_RED, HIGH);
        digitalWrite(PIN_GREEN, LOW);
        pump_on = 1;
    }
    else if (digitalRead(PIN_TOP) == LOW) {
        digitalWrite(PIN_GREEN, HIGH);
        digitalWrite(PIN_RED, LOW);
        pump_on = 0;
    }
    else {
        digitalWrite(PIN_GREEN, LOW);
        digitalWrite(PIN_RED, LOW);
    }

        if (digitalRead(PIN_BOTTOM) == LOW && digitalRead(PIN_TOP) == HIGH) {
                if (digitalRead(PIN_ON) == HIGH)
                        pump_on = 0;
                else
                        pump_on = 1;
        }

    if (pump_on == 1)
        digitalWrite(PIN_PUMP, HIGH);
    else
        digitalWrite(PIN_PUMP, LOW);
}