MAYBE
35.71/10.59	MAYBE
35.71/10.59	
35.71/10.59	Problem:
35.71/10.59	 not(not(x)) -> x
35.71/10.59	 not(or(x,y)) -> and(not(not(not(x))),not(not(not(y))))
35.71/10.59	 not(and(x,y)) -> or(not(not(not(x))),not(not(not(y))))
35.71/10.59	
35.71/10.59	Proof:
35.71/10.59	 Open
35.71/10.59	EOF