Result of llprover

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

------- Ax  ------- Ax
a --> a     a --> a
------------------- L\/
    a\/a --> a

CPU Time = 0 msec.

------- Ax
a --> a
---------- R\/1
a --> a\/a

CPU Time = 0 msec.


Naoyuki Tamura