Result of llprover

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

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

CPU Time = 10 msec.

-------------- Lbot
bot --> bot/\a

CPU Time = 0 msec.


Naoyuki Tamura