А+Д
А+Б
А+Б+г
В+Г <> "Но если отсутствует Дмитрий, то Борис должен быть обязательно, а Виктор пусть не приходит."
Б+В+Г <> "Но если отсутствует Дмитрий, то Борис должен быть обязательно, а Виктор пусть не приходит."
Б+В <> "Но если отсутствует Дмитрий, то Борис должен быть обязательно, а Виктор пусть не приходит."
Б+В+Д <> "А если Виктор присутствует, то Дмитрий приходить не должен, а Григорий должен прийти."
Эти условия не вынесены отдельно и учитываются только в случае выполнения первых условий в их "группе".