Translate the following inference to logic notation: If Jennifer were a sailor, then Linda is sleeping. Linda is sleeping. Jennifer is a sailor or Linda is not sleeping. Therefore Jennifer is a sailor.
p -> q. q. p or ~q. Therefore p.