RULE Simple logic PROVIDESIF a applies AND b applies THEN c applies
GOAL RULE consequent PROVIDESd appliesONLY IF c applies OR e applies