Translate the following inference to logic notation: John is making tea. If Patricia climbs a mountain, then Sarah is not reading a book. Patricia is climbing a mountain if and only if John is making tea. Sarah is reading a book. Therefore James is taking a plane.
p. q -> ~r. q <-> p. r. Therefore s.