Example used in the paper "Rewriting Idiomatically-Stated Conjectures Into Boolean Formulas."

For detailed instructions on how to run the example, see INSTRUCTIONS.