the karyokineticness occurs and the authentication occurs.
sent1: if the griping transcript happens then the karyokineticness occurs. sent2: the protuberating occurs. sent3: the fact that the viewing does not occur but the bargaining superstition occurs is not right. sent4: if the fact that the seaming Crossopterygii does not occur and the rumba occurs is false the symptomaticness happens. sent5: if the acanthoticness occurs the bibliographicness happens. sent6: the griping Mensa happens if that the bargaining underworld happens is true. sent7: the authentication occurs if the fact that the view does not occur and the bargaining superstition happens does not hold. sent8: the fact that both the non-ecologicalness and the Aleutiansness happens is not correct. sent9: if the bargaining superstition does not occur then the authentication happens. sent10: the symptomaticness occurs. sent11: that both the karyokineticness and the authentication occurs is not correct if the griping transcript does not occur.
sent7 & sent3 -> int1: the fact that the authentication happens is correct.;
the fact that the karyokineticness happens and the authentication happens is not correct.
$hypothesis$ = the karyokineticness occurs and the authentication occurs. ; $context$ = sent1: if the griping transcript happens then the karyokineticness occurs. sent2: the protuberating occurs. sent3: the fact that the viewing does not occur but the bargaining superstition occurs is not right. sent4: if the fact that the seaming Crossopterygii does not occur and the rumba occurs is false the symptomaticness happens. sent5: if the acanthoticness occurs the bibliographicness happens. sent6: the griping Mensa happens if that the bargaining underworld happens is true. sent7: the authentication occurs if the fact that the view does not occur and the bargaining superstition happens does not hold. sent8: the fact that both the non-ecologicalness and the Aleutiansness happens is not correct. sent9: if the bargaining superstition does not occur then the authentication happens. sent10: the symptomaticness occurs. sent11: that both the karyokineticness and the authentication occurs is not correct if the griping transcript does not occur. ; $proof$ = 
sent7 & sent3 -> int1: the fact that the authentication happens is correct.; __UNKNOWN__