Translate the following inference to logic notation: Thomas is poor or it is windy. If Thomas were poor, then Jessica is a carpenter. Jessica is a carpenter if and only if it is windy. Therefore Jessica is a carpenter.
p or q. p -> r. r <-> q. Therefore r.