the jetting does not occur.
sent1: that the marbling Lari does not occur brings about that the ATM happens but the teaming does not occur. sent2: if that the uricosuricness does not occur and the extirpating does not occur is not correct then the patient happens. sent3: the counterdemonstration happens if the Frostianness does not occur. sent4: the sainthood does not occur if either the patientness happens or the intersection happens or both. sent5: the intersection results in that the jet does not occur. sent6: the Satanicness happens. sent7: if the marbling Lari does not occur then the ATM occurs. sent8: that the agreement and the nonadhesiveness occurs prevents the Frostianness. sent9: the Satanicness happens if the team does not occur. sent10: the marbling Lari does not occur. sent11: if the fact that the sainthood does not occur is right the nonadhesiveness occurs. sent12: if the intersection happens then the sainthood does not occur. sent13: the counterdemonstration triggers that the jet occurs. sent14: the Satanicness occurs and the agreement occurs if the teaming does not occur. sent15: that the uricosuricness does not occur and the extirpating does not occur is incorrect. sent16: the patientness happens if the uricosuricness occurs. sent17: that the Frostianness but not the counterdemonstration happens is incorrect if the Satanicness does not occur. sent18: the ATM happens.
sent2 & sent15 -> int1: the patient happens.; int1 -> int2: that the patientness and/or the intersection occurs is true.; int2 & sent4 -> int3: the sainthood does not occur.; int3 & sent11 -> int4: the nonadhesiveness happens.; sent1 & sent10 -> int5: the ATM happens but the team does not occur.; int5 -> int6: the team does not occur.; sent14 & int6 -> int7: the Satanicness occurs and the agreement happens.; int7 -> int8: the agreement occurs.; int4 & int8 -> int9: the agreement and the nonadhesiveness happens.; int9 & sent8 -> int10: the Frostianness does not occur.; int10 & sent3 -> int11: the counterdemonstration occurs.; int11 & sent13 -> hypothesis;
the jet does not occur.
$hypothesis$ = the jetting does not occur. ; $context$ = sent1: that the marbling Lari does not occur brings about that the ATM happens but the teaming does not occur. sent2: if that the uricosuricness does not occur and the extirpating does not occur is not correct then the patient happens. sent3: the counterdemonstration happens if the Frostianness does not occur. sent4: the sainthood does not occur if either the patientness happens or the intersection happens or both. sent5: the intersection results in that the jet does not occur. sent6: the Satanicness happens. sent7: if the marbling Lari does not occur then the ATM occurs. sent8: that the agreement and the nonadhesiveness occurs prevents the Frostianness. sent9: the Satanicness happens if the team does not occur. sent10: the marbling Lari does not occur. sent11: if the fact that the sainthood does not occur is right the nonadhesiveness occurs. sent12: if the intersection happens then the sainthood does not occur. sent13: the counterdemonstration triggers that the jet occurs. sent14: the Satanicness occurs and the agreement occurs if the teaming does not occur. sent15: that the uricosuricness does not occur and the extirpating does not occur is incorrect. sent16: the patientness happens if the uricosuricness occurs. sent17: that the Frostianness but not the counterdemonstration happens is incorrect if the Satanicness does not occur. sent18: the ATM happens. ; $proof$ = 
sent2 & sent15 -> int1: the patient happens.; int1 -> int2: that the patientness and/or the intersection occurs is true.; int2 & sent4 -> int3: the sainthood does not occur.; int3 & sent11 -> int4: the nonadhesiveness happens.; sent1 & sent10 -> int5: the ATM happens but the team does not occur.; int5 -> int6: the team does not occur.; sent14 & int6 -> int7: the Satanicness occurs and the agreement happens.; int7 -> int8: the agreement occurs.; int4 & int8 -> int9: the agreement and the nonadhesiveness happens.; int9 & sent8 -> int10: the Frostianness does not occur.; int10 & sent3 -> int11: the counterdemonstration occurs.; int11 & sent13 -> hypothesis; __DISPROVED__