!(((tag_ist(4) UND spaeter_als(10, 0) UND frueher_als(13, 30)) ODER (tag_ist(4) UND spaeter_als(16, 30) UND frueher_als(21, 25)) ODER (tag_ist(5) UND spaeter_als(10, 0) UND frueher_als(13, 30)) ODER (tag_ist(5) UND spaeter_als(16, 30) UND frueher_als(21, 25)) ODER (tag_ist(6) UND spaeter_als(10, 0) UND frueher_als(13, 30)) ODER (tag_ist(6) UND spaeter_als(16, 30) UND frueher_als(21, 25)) ODER (tag_ist(0) UND spaeter_als(10, 0) UND frueher_als(13, 30)) ODER (tag_ist(0) UND spaeter_als(16, 30) UND frueher_als(21, 25)) ODER (tag_ist(3) UND spaeter_als(10, 0) UND frueher_als(13, 30)) ODER (tag_ist(3) UND spaeter_als(16, 30) UND frueher_als(21, 25)) ODER false) UND !(false))