Mike did not take the bar exam and is not both knowledgeable about criminal procedures and someone who got 180 on the LSAT.
¬Take(mike, barExam) ∧ ¬(KnowledgeableAbout(mike, criminalProcedures)∧ GetOn(mike, 180, lSAT))