(not p implies not r) implies q