Translate the following inference to logic notation: Thomas is excited if and only if it is windy. Thomas is excited or James is curious. It is not windy. Therefore James is curious.
p <-> q. p or r. ~q. Therefore r.