このＱＷＬは店屋でない
fact1: 「このＱＷＬは聞き易い」ということは間違っていない fact2: もしもこのＱＷＬは聞き易いとすると「店屋でない」ということは真実である
$facts$ = fact1: 「このＱＷＬは聞き易い」ということは間違っていない fact2: もしもこのＱＷＬは聞き易いとすると「店屋でない」ということは真実である ; $hypothesis$ = このＱＷＬは店屋でない ; $proof$ = 
事実1: 「このＱＷＬは聞き易い」ということは間違っていない
事実2: もしもこのＱＷＬは聞き易いとすると「店屋でない」ということは真実である

仮説: このＱＷＬは店屋でない