use basic inference rules to establish the validity of the argument p q q r p u r