「仮に貴婦人達でないならば「負わさないしおまけに薄暗くない」ということは間違っている」物はある
fact1: もしもそのＢ係は貴婦人達でないとすると「「それは負わさないし薄暗くない」ということは確かだ」ということは誤りだ
$facts$ = fact1: もしもそのＢ係は貴婦人達でないとすると「「それは負わさないし薄暗くない」ということは確かだ」ということは誤りだ ; $hypothesis$ = 「仮に貴婦人達でないならば「負わさないしおまけに薄暗くない」ということは間違っている」物はある ; $proof$ = 
事実1: もしもそのＢ係は貴婦人達でないとすると「「それは負わさないし薄暗くない」ということは確かだ」ということは誤りだ

仮説: 「仮に貴婦人達でないならば「負わさないしおまけに薄暗くない」ということは間違っている」物はある