Result of llprover

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

--------- Lbot  ------- Ax
bot --> a       a --> a
----------------------- L\/
     bot\/a --> a

CPU Time = 0 msec.

------- Ax
a --> a
------------ R\/2
a --> bot\/a

CPU Time = 0 msec.


Naoyuki Tamura