Result of llprover

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

------- Ax  ------- Ax
a --> a     b --> b
------------------- L+  ------- Ax
    a+b --> a,b         c --> c
    --------------------------- L+
         (a+b)+c --> a,b,c
         ----------------- R+
         (a+b)+c --> a,b+c
         ----------------- R+
         (a+b)+c --> a+b+c

CPU Time = 0 msec.

            ------- Ax  ------- Ax
            b --> b     c --> c
------- Ax  ------------------- L+
a --> a         b+c --> b,c
--------------------------- L+
      a+b+c --> a,b,c
      --------------- R+
      a+b+c --> a+b,c
      ----------------- R+
      a+b+c --> (a+b)+c

CPU Time = 0 msec.


Naoyuki Tamura