Result of llprover

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

------- Ax  ------- Ax
b --> b     a --> a
------------------- R*
    a,b --> b*a
    ----------- L*
    a*b --> b*a

CPU Time = 0 msec.


Naoyuki Tamura