Consider the following premises. Sarah is running if and only if Joseph is excited. Joseph is not excited. Barbara is a sailor. If Sarah goes running, then Charles is listening to a song. If Charles listens to a song, then Sarah is running. Can we infer the following from them? If we can, name the inference rule being used: Barbara is not a sailor.
That contradicts the premises. Therefore the answer is no.