Parses the output of the automated theorem prover Vampire. Matches the output lines that contain the proof. Run vampire --proof on to generate a compatible string.
vampire --proof on