the kittee occurs.
sent1: the draining broodmare does not occur. sent2: the exacerbating love-token occurs. sent3: that the overwhelming huckster and the softball happens is false. sent4: if the discarding Hutchinson does not occur then the kittee does not occur. sent5: if the exacerbating love-token happens the exacerbating Illinoisan does not occur. sent6: the fact that the exacerbating Nabokov does not occur hold. sent7: the jawlessness occurs. sent8: if the fact that both the electrostaticsness and the discarding Hutchinson occurs does not hold then the kittee does not occur. sent9: the fact that the kittee does not occur and the exacerbating love-token does not occur is not right if the exacerbating Illinoisan occurs. sent10: the cramming does not occur. sent11: that the storminess happens and the virologicalness occurs is not right. sent12: if the exacerbating Illinoisan does not occur then that the electrostaticsness occurs and the discarding Hutchinson occurs does not hold.
sent5 & sent2 -> int1: the exacerbating Illinoisan does not occur.; int1 & sent12 -> int2: that the electrostaticsness and the discarding Hutchinson occurs is wrong.; int2 & sent8 -> hypothesis;
the kittee happens.
$hypothesis$ = the kittee occurs. ; $context$ = sent1: the draining broodmare does not occur. sent2: the exacerbating love-token occurs. sent3: that the overwhelming huckster and the softball happens is false. sent4: if the discarding Hutchinson does not occur then the kittee does not occur. sent5: if the exacerbating love-token happens the exacerbating Illinoisan does not occur. sent6: the fact that the exacerbating Nabokov does not occur hold. sent7: the jawlessness occurs. sent8: if the fact that both the electrostaticsness and the discarding Hutchinson occurs does not hold then the kittee does not occur. sent9: the fact that the kittee does not occur and the exacerbating love-token does not occur is not right if the exacerbating Illinoisan occurs. sent10: the cramming does not occur. sent11: that the storminess happens and the virologicalness occurs is not right. sent12: if the exacerbating Illinoisan does not occur then that the electrostaticsness occurs and the discarding Hutchinson occurs does not hold. ; $proof$ = 
sent5 & sent2 -> int1: the exacerbating Illinoisan does not occur.; int1 & sent12 -> int2: that the electrostaticsness and the discarding Hutchinson occurs is wrong.; int2 & sent8 -> hypothesis; __DISPROVED__