!(((tag_ist(2) UND spaeter_als(11, 0) UND frueher_als(14, 0)) ODER (tag_ist(2) UND spaeter_als(17, 0) UND frueher_als(22, 30)) ODER (tag_ist(3) UND spaeter_als(11, 0) UND frueher_als(14, 0)) ODER (tag_ist(3) UND spaeter_als(17, 0) UND frueher_als(22, 30)) ODER (tag_ist(4) UND spaeter_als(11, 0) UND frueher_als(14, 0)) ODER (tag_ist(4) UND spaeter_als(17, 0) UND frueher_als(22, 30)) ODER (tag_ist(5) UND spaeter_als(11, 0) UND frueher_als(14, 0)) ODER (tag_ist(5) UND spaeter_als(17, 0) UND frueher_als(22, 30)) ODER (tag_ist(6) UND spaeter_als(11, 0) UND frueher_als(14, 0)) ODER (tag_ist(6) UND spaeter_als(17, 0) UND frueher_als(22, 30)) ODER (tag_ist(0) UND spaeter_als(11, 0) UND frueher_als(14, 0)) ODER (tag_ist(0) UND spaeter_als(17, 0) UND frueher_als(22, 30)) ODER false) UND !(false))