Translate the following inference to logic notation: If Mary were a bartender, then it is raining. If it rains, then Mary is a bartender. Therefore if Mary were a bartender, then it is raining.
p -> q. q -> p. Therefore p -> q.