Proof Using Rules Of Inference Examples