Result of llprover

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

            ------- Ax
            a --> a
------- Ax  ---------- L/\1
a --> a     a/\b --> a
---------------------- L\/
    a\/a/\b --> a

CPU Time = 0 msec.

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

CPU Time = 0 msec.


Naoyuki Tamura