!(((tag_ist(2) UND spaeter_als(17, 15) UND frueher_als(22, 30)) ODER (tag_ist(3) UND spaeter_als(17, 15) UND frueher_als(22, 30)) ODER (tag_ist(4) UND spaeter_als(17, 15) UND frueher_als(22, 30)) ODER (tag_ist(5) UND spaeter_als(17, 15) UND frueher_als(22, 30)) ODER (tag_ist(6) UND spaeter_als(17, 15) UND frueher_als(22, 30)) ODER (tag_ist(0) UND spaeter_als(17, 15) UND frueher_als(21, 50)) ODER false) UND !(false))