Result of llprover

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

                    ------- Ax
                    b --> b
------- Ax          ---------- R\/1     ------- Ax
a --> a             b --> b\/c          c --> c
------------- R\/1  ------------- R\/2  ---------- R\/2
a --> a\/b\/c       b --> a\/b\/c       c --> b\/c
--------------------------------- L\/   ------------- R\/2
        a\/b --> a\/b\/c                c --> a\/b\/c
        --------------------------------------------- L\/
                    (a\/b)\/c --> a\/b\/c

CPU Time = 0 msec.

                      ------- Ax
                      b --> b
------- Ax            ---------- R\/2       ------- Ax
a --> a               b --> a\/b            c --> c
---------- R\/1       --------------- R\/1  --------------- R\/2
a --> a\/b            b --> (a\/b)\/c       c --> (a\/b)\/c
--------------- R\/1  ------------------------------------- L\/
a --> (a\/b)\/c                b\/c --> (a\/b)\/c
------------------------------------------------- L\/
              a\/b\/c --> (a\/b)\/c

CPU Time = 0 msec.


Naoyuki Tamura