Playground

TPTP problem (highlighted)

Vampire command-line arguments--proof on

Output

Ready.