$$AAx$(BxIx{)}^{{?}^{?}}$AAx$(Dx$notMx$)$

EEx$(I{x}^{{?}^{?}}$notDx$)$

EEx$(B{x}^{{?}^{?}}Mx)$

Provide a vendiagram $($circles$,$dots, and letters labling circles$)$ that show the premises $($top two lines$)$ are true and the conclusion $($last bottom line$)$ is false. This is for predicate logic. Have the circles overlap or inside each other as needed per relationship.