the meteoriticness occurs and the isotonicness occurs.
sent1: if the carting does not occur then that not the offsetting but the antiapartheidness happens is not true. sent2: the fact that that both the thyroid and the bareboating occurs is right is triggered by that the meteoriticness does not occur. sent3: the antiapartheidness does not occur if that not the offset but the antiapartheidness occurs is false. sent4: that the origin happens and the tearlessness does not occur is incorrect if the modernness happens. sent5: the isotonicness occurs. sent6: that the tryst does not occur brings about that the testateness happens and the promotionalness occurs. sent7: the modern occurs and the TAT occurs if the scalding zoster does not occur. sent8: the netting does not occur and the leapfrog happens if the antiapartheidness does not occur. sent9: that both the mammography and the ECM happens is not true. sent10: that the promotionalness occurs brings about that the cart does not occur and the scalding smaltite does not occur. sent11: the fact that the culmination occurs and the isotonicness happens is incorrect if the origin does not occur. sent12: not the tryst but the scalding orthoscope occurs if the fact that the disproof does not occur is correct. sent13: the disproof does not occur if that the mammography and the ECM occurs is incorrect. sent14: the origin does not occur if the fact that the origin happens but the tearlessness does not occur is incorrect. sent15: both the thyroid and the meteoriticness happens. sent16: the scalding zoster does not occur if both the non-nettingness and the leapfrogging happens.
sent15 -> int1: the meteoriticness happens.; int1 & sent5 -> hypothesis;
the bareboating happens.
sent13 & sent9 -> int2: that the disproof does not occur is true.; sent12 & int2 -> int3: the fact that the tryst does not occur and the scalding orthoscope happens is true.; int3 -> int4: the tryst does not occur.; sent6 & int4 -> int5: the testateness and the promotionalness occurs.; int5 -> int6: the promotionalness happens.; sent10 & int6 -> int7: the cart does not occur and the scalding smaltite does not occur.; int7 -> int8: the cart does not occur.; sent1 & int8 -> int9: that that not the offsetting but the antiapartheidness occurs is right does not hold.; sent3 & int9 -> int10: the antiapartheidness does not occur.; sent8 & int10 -> int11: the netting does not occur and the leapfrogging occurs.; sent16 & int11 -> int12: the fact that the scalding zoster does not occur hold.; sent7 & int12 -> int13: both the modernness and the TAT happens.; int13 -> int14: the modernness happens.; sent4 & int14 -> int15: the fact that the origin occurs and the tearlessness does not occur is not true.; sent14 & int15 -> int16: the fact that the origin does not occur hold.; sent11 & int16 -> int17: that the culmination occurs and the isotonicness occurs is false.;
$hypothesis$ = the meteoriticness occurs and the isotonicness occurs. ; $context$ = sent1: if the carting does not occur then that not the offsetting but the antiapartheidness happens is not true. sent2: the fact that that both the thyroid and the bareboating occurs is right is triggered by that the meteoriticness does not occur. sent3: the antiapartheidness does not occur if that not the offset but the antiapartheidness occurs is false. sent4: that the origin happens and the tearlessness does not occur is incorrect if the modernness happens. sent5: the isotonicness occurs. sent6: that the tryst does not occur brings about that the testateness happens and the promotionalness occurs. sent7: the modern occurs and the TAT occurs if the scalding zoster does not occur. sent8: the netting does not occur and the leapfrog happens if the antiapartheidness does not occur. sent9: that both the mammography and the ECM happens is not true. sent10: that the promotionalness occurs brings about that the cart does not occur and the scalding smaltite does not occur. sent11: the fact that the culmination occurs and the isotonicness happens is incorrect if the origin does not occur. sent12: not the tryst but the scalding orthoscope occurs if the fact that the disproof does not occur is correct. sent13: the disproof does not occur if that the mammography and the ECM occurs is incorrect. sent14: the origin does not occur if the fact that the origin happens but the tearlessness does not occur is incorrect. sent15: both the thyroid and the meteoriticness happens. sent16: the scalding zoster does not occur if both the non-nettingness and the leapfrogging happens. ; $proof$ = 
sent15 -> int1: the meteoriticness happens.; int1 & sent5 -> hypothesis; __PROVED__