その老ガイドは関翁でない
fact1: この曙会は上げ易い fact2: もし仮にこの曙会が上げ易いならばその老ガイドは関翁である
$facts$ = fact1: この曙会は上げ易い fact2: もし仮にこの曙会が上げ易いならばその老ガイドは関翁である ; $hypothesis$ = その老ガイドは関翁でない ; $proof$ = 
事実1: この曙会は上げ易い
事実2: もし仮にこの曙会が上げ易いならばその老ガイドは関翁である

仮説: その老ガイドは関翁でない