Result of llprover

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

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

CPU Time = 0 msec.

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

CPU Time = 0 msec.


Naoyuki Tamura