Translate the following inference to logic notation: Barbara is making tea or Richard is not an artist. If Joseph were an astronaut, then Richard is an artist. If Barbara makes tea, then John is a mechanic. Therefore if Joseph were an astronaut, then John is a mechanic.
p or ~q. r -> q. p -> s. Therefore r -> s.