Result of llprover

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

------- Ax       ------- Ax
a --> a          b --> b
---------- R\/2  ---------- R\/1
a --> b\/a       b --> b\/a
--------------------------- L\/
       a\/b --> b\/a

CPU Time = 10 msec.


Naoyuki Tamura