[
	< P & ~ P>
	P
	~P
	[
		~Q
		P
		~~P
	]
	< ~Q ? ~~P >
	<~P ? Q>
	Q
]
< <P & ~P> ? Q >