Translate the following inference to logic notation: Elisabeth is drinking water or Linda is not playing squash. Linda is playing squash. If it is windy, then Elisabeth is drinking water. Therefore Elisabeth is drinking water.
p or ~q. q. r -> p. Therefore p.