Add sample rule for positive elimination