Translate the following inference to logic notation: David is happy and Michael is playing squash. William is taking a plane and David is working. Therefore William is taking a plane.
p and q. r and s. Therefore r.