Playground

TPTP problem (highlighted)

Vampire command-line arguments--manual_cs on --show_new on --proof on

Output

Ready.