Translate the following inference to logic notation: Jennifer is a sailor or Thomas is not a writer. Charles is a mechanic if and only if Jennifer is a sailor. It is overcast or Charles is a mechanic. It is not overcast or Thomas is a writer. Therefore Jennifer is a sailor.
p or ~q. r <-> p. s or r. ~s or q. Therefore p.