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