Translate the following inference to logic notation: Patricia is excited if and only if Thomas is rich. Patricia is excited if and only if it is sunny. Thomas is not rich. Therefore it is not sunny or it is windy.
p <-> q. p <-> r. ~q. Therefore ~r or s.