Consider the following premises. Richard is writing a letter if and only if Barbara is a server. If Michael sleeps, then Barbara is a server. If Richard writes a letter, then Michael is sleeping. Can we infer the following from them? If Richard writes a letter, then Barbara is a server.
Yes.