code: List<Rule> getRules() {
          List<Rule> rulesToReturn = new ArrayList<>(this.rules);
          new DeletedProposition().toRules(rulesToReturn);
          return rulesToReturn;
      }
docs: Returns a newly-created an array of rules that were generated.
  
  @return a {@link Rule[]}. Guaranteed not <code>null</code>.