though D|O DH|U D|U Introduce I|N|T|R|AX|D|U|S IH|N|T|R|AX|JH|U|S I|N|T|R|AX|JH|U|S IH|N|T|R|AX|D|O|S I|N|T|R|AX|D|O|S IH|N|T|R|AX|JH|O|S I|N|T|R|AX|JH|O|S IH|N|T|R|AX|D|U|SH I|N|T|R|AX|D|U|SH IH|N|T|R|AX|JH|U|SH I|N|T|R|AX|JH|U|SH IH|N|T|R|AX|D|O|SH I|N|T|R|AX|D|O|SH IH|N|T|R|AX|JH|O|SH I|N|T|R|AX|JH|O|SH a Contradiction K|U|N|T|R|AX|D|IH|K|SH|AX|N K|AA|N|T|R|AX|JH|IH|K|SH|AX|N K|U|N|T|R|AX|JH|IH|K|SH|AX|N K|AA|N|T|R|AX|D|I|K|SH|AX|N K|U|N|T|R|AX|D|I|K|SH|AX|N K|AA|N|T|R|AX|JH|I|K|SH|AX|N K|U|N|T|R|AX|JH|I|K|SH|AX|N K|AA|N|T|R|AX|D|IH|K|S|AX|N K|U|N|T|R|AX|D|IH|K|S|AX|N K|AA|N|T|R|AX|JH|IH|K|S|AX|N K|U|N|T|R|AX|JH|IH|K|S|AX|N K|AA|N|T|R|AX|D|I|K|S|AX|N K|U|N|T|R|AX|D|I|K|S|AX|N K|AA|N|T|R|AX|JH|I|K|S|AX|N K|U|N|T|R|AX|JH|I|K|S|AX|N