Translate the following inference to logic notation: Patricia is writing a letter. It is not cold. It is cold if and only if it is late. James is a soldier if and only if it is late. Therefore Patricia is writing a letter and James is not a soldier.
p. ~q. q <-> r. s <-> r. Therefore p and ~s.