Parses the output of the automated theorem prover Vampire. Matches the output lines printed by the options --show_everything, --show_active, --show_new etc. Run vampire --show_everything on to generate a compatible string.
--show_everything
--show_active
--show_new
vampire --show_everything on