Translate the following inference to logic notation: Robert is cooking or Jessica is climbing a mountain. If Richard were happy, then Robert is cooking. If Jessica climbs a mountain, then Richard is happy. Richard is happy if and only if Robert is cooking. Therefore Richard is happy.
p or q. r -> p. q -> r. r <-> p. Therefore r.