Translate the following inference to logic notation: If Barbara takes a plane, then Thomas is running. Michael is working if and only if Barbara is taking a plane. Michael is working or Thomas is listening to a song. If Thomas listens to a song, then Thomas is running. Therefore Thomas is running.
p -> q. r <-> p. r or s. s -> q. Therefore q.