Provide a proof of validity for each of the arguments using the 8 rules of inference and 10 rules of replacement.