この上げ底は二但し書きでなくて更にエリザベス女王でない
fact1: この上げ底は二但し書きでないしそれにエリザベス女王でない
$facts$ = fact1: この上げ底は二但し書きでないしそれにエリザベス女王でない ; $hypothesis$ = この上げ底は二但し書きでなくて更にエリザベス女王でない ; $proof$ = 
事実1: この上げ底は二但し書きでないしそれにエリザベス女王でない

仮説: この上げ底は二但し書きでなくて更にエリザベス女王でない