Translate the following inference to logic notation: Mary is bored or it is not windy. It is windy or Mary is not bored. Therefore if it is windy, then Mary is bored.
p or ~q. q or ~p. Therefore q -> p.