Translate the following inference to logic notation: It is snowing or Michael is not a soldier. William is poor if and only if it is snowing. William is not poor. Therefore Michael is not a soldier.
p or ~q. r <-> p. ~r. Therefore ~q.