Add Rules Of Inference Section