Run Vampire in manual clause-selection mode and explore the evolving clause graph.
Click a node to select the next clause.
Tip: Use --show_everything on for the fullest clause stream.
Tip: Remove --manual_cs on to let Vampire select clauses automatically.
Ready.