Result of llprover

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

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

CPU Time = 0 msec.


Naoyuki Tamura