Consider the following premises. Susan is fast or Thomas is an artist. John is an astronaut or Thomas is not an artist. It is overcast. If Susan were fast, then John is an astronaut. Can we infer the following from them? John is not an astronaut.
 From the fact that John is an astronaut or Thomas is not an artist we can infer that if Thomas were an artist, then John is an astronaut. Finally, from the fact that if Susan were fast, then John is an astronaut, that if Thomas were an artist, then John is an astronaut, and that Susan is fast or Thomas is an artist we can infer that John is an astronaut, which contradicts that John is not an astronaut. Therefore, the answer is no.