% resolution-0.1.elf
%%%%%%%%%%%%%%%%%%%%

pfe : |- or (neg A) B -> |- A -> |- (neg B) -> |- false
    = [u1][u2][u3] 
       id1 
       (id2
	  (resolve 
	     (left (select 
		      (id1 (resolve (select u2)
			      (left (select u1)))))) 
	     (select u3))).