Result of llprover

You are the 353687-th user of this script.
System:
Sequent:
Output Style:
Threshold value:

Syntax error

Naoyuki Tamura