问题描述：
如果有两个假设h1和h2,h1可以推出关于a的结论：a＝a1,而还h2无法推出a等于什么,但h1和h2合在一起能推出a＝a2.现在根据实际数据发现a1＝a2.请问能否肯定地判定h2不成立?非常不好意思，应该是：“根据实际数据发现a1不等于a2”
已知
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不成立。
最佳答案： 不能
