Translate the following inference to logic notation: If Patricia were rich, then John is running. If John goes running, then Patricia is rich. If Patricia were rich, then John is running. Therefore if Patricia were rich, then John is running.
p -> q. q -> p. p -> q. Therefore p -> q.