Proof Using Rules Of Inference For Quantified