「あのコンプレックスは著わすがしかし言い難いということはない」ということは嘘である
fact1: あのコンプレックスはＡドライブでないならば「それは著わすし加えて言い難くない」ということは誤りである fact2: あのコンプレックスはＡドライブであるということはない
$facts$ = fact1: あのコンプレックスはＡドライブでないならば「それは著わすし加えて言い難くない」ということは誤りである fact2: あのコンプレックスはＡドライブであるということはない ; $hypothesis$ = 「あのコンプレックスは著わすがしかし言い難いということはない」ということは嘘である ; $proof$ = 
事実1: あのコンプレックスはＡドライブでないならば「それは著わすし加えて言い難くない」ということは誤りである
事実2: あのコンプレックスはＡドライブであるということはない

仮説: 「あのコンプレックスは著わすがしかし言い難いということはない」ということは嘘である