「「暗くないとしたら奥床しくなくて飲み屋でない」物はある」ということは偽である
fact1: もしも「この宝物庫は暗くない」ということは事実であるなら奥床しくないしおまけに飲み屋でない
$facts$ = fact1: もしも「この宝物庫は暗くない」ということは事実であるなら奥床しくないしおまけに飲み屋でない ; $hypothesis$ = 「「暗くないとしたら奥床しくなくて飲み屋でない」物はある」ということは偽である ; $proof$ = 
事実1: もしも「この宝物庫は暗くない」ということは事実であるなら奥床しくないしおまけに飲み屋でない

仮説: 「「暗くないとしたら奥床しくなくて飲み屋でない」物はある」ということは偽である