Translate the following inference to logic notation: James is fast or Robert is excited. If it is windy, then James is fast. It is windy if and only if James is fast. If Robert were excited, then it is windy. Therefore it is windy.
p or q. r -> p. r <-> p. q -> r. Therefore r.