Translate the following inference to logic notation: Jennifer is not playing tennis or it is cloudy. Barbara is not taking a plane or Thomas is a carpenter. Jennifer is playing tennis. Therefore it is cloudy or Thomas is a carpenter.
~p or q. ~r or s. p. Therefore q or s.