Result of llprover

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

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

CPU Time = 0 msec.


Naoyuki Tamura