"No migraine sufferers with ... statement is saying that if one is taking the ... and is a migraine sufferer with heart disease, then one ... nicely to an if A, then B statement (basically all A are B), we can ... if (B) is not the case (we apply the negation test) then ...