Translate the following inference to logic notation: Elisabeth is taking a plane or Robert is rich. It is not cold. If Elisabeth takes a plane, then Sarah is happy. If Robert were rich, then it is cold. Therefore Sarah is happy.
p or q. ~r. p -> s. q -> r. Therefore s.