public static void saveTrainingExamples() {
    { OutputFileStream nameFile = OutputFileStream.newOutputFileStream("training.names");
      OutputFileStream dataFile = OutputFileStream.newOutputFileStream("training.data");

      Logic.createPropositionalTrainingExamples(Logic.$TRAINING_EXAMPLES$, nameFile, dataFile);
      nameFile.free();
      dataFile.free();
    }
  }