(p implies q) and (q implies r)