Translate the following inference to logic notation: James is not reading a book. If James reads a book, then it is cloudy. If it is cloudy, then Barbara is taking a plane. James is reading a book or Barbara is not taking a plane. Therefore Barbara is not taking a plane.
~p. p -> q. q -> r. p or ~r. Therefore ~r.