请教逻辑推理问题

如果有两个假设h1和h2，h1可以推出关于a的结论：a＝a1，而还h2无法推出a等于什么，但h1和h2合在一起能推出a＝a2。现在根据实际数据发现a1＝a2。请问能否肯定地判定h2不成立？
非常不好意思，问题有误！应该是：“根据实际数据发现a1不等于a2”

RenéDescartes在逻辑学贴吧http://zhidao.baidu.com/question/41052886.html给出了以下答案：

已知
h1 -> a=a1
h1&h2 -> a=a2 -> a1=a2

a1 != a2 -> !h1 | !h2
所以不能肯定h2不成立，而是“h1不成立或h2不成立”，至少有一个不成立
此时，
1. 若h1成立，那么h2肯定不成立
2. 若h1不成立，但是a=a1，也不能判定h2不成立
个人认为这是推理最清楚的，当然也是正确的。

如果加上H2包含H1的条件，那么可以得到如下结论：要么H1与H2都不成立，要么H1成立而H2不成立。

最后谢谢各位解决了我在研读http://ftp.cs.ucla.edu/pub/stat_ser/R320.pdf是遇到的一大问题！