A->~Q | pr
P^Q | pr
	A | as
	~Q | ->e 1, 3
	Q | ^e 2
	? | ?i 4, 5
~A | ~i 3, 6