Nie załącza Ci Y4 bo masz go również w drabince powyżej i stany, które masz przypisane do Y4 aktualnie wzajemnie się wykluczają, dlatego wyjście nie jest wystawiane. Jeśli chcesz mieć wyjście pod dwoma różnymi warunkami (dwie drabinki) to powinieneś na ich wyjściu dać jakiś marker (coś pośredniego) i w trzeciej drabince ustalić jakieś logoczne zależności pomiędzy nimi.

Pozdrawiam.