Translate the following inference to logic notation: Barbara is curious or David is a carpenter. If Barbara were curious, then it is windy. If David were a carpenter, then it is windy. Michael is poor. Therefore Michael is poor and it is windy.
p or q. p -> r. q -> r. s. Therefore s and r.