Add inference rules for P and SIMPLE