Change graph images to PNG
Keep special chars out of input/outputs

This way there won't be errors when trying to view entailments.