the fact that the hurdling does not occur and the freshness does not occur is not correct.
sent1: that both the non-crustalness and the toxicness happens is false. sent2: the freshness does not occur. sent3: if the communications does not occur the fact that the scoffing S-shape occurs is correct. sent4: not the communications but the noninvasiveness occurs. sent5: if the fact that both the non-crustalness and the toxicness occurs is not true then the toxic happens. sent6: if the fetalness does not occur then the freshness does not occur. sent7: that the scoffing azithromycin does not occur causes that the fetalness does not occur. sent8: that the fact that both the non-crustalness and the nontoxicness happens is not right is not false. sent9: the fetalness does not occur if the fact that both the FM and the scoffing azithromycin happens is wrong. sent10: if the conflict does not occur the fact that the FM happens and the scoffing azithromycin happens is not right. sent11: the scoffing territorial does not occur if the fact that the straightening occurs and the nontoxicness happens is right. sent12: the hurdles does not occur and the freshness does not occur if the fetalness does not occur. sent13: that the conflicting happens prevents that the straightening does not occur. sent14: that the communications does not occur causes that the scoffing territorial occurs and the scoffing S-shape occurs.
void -> assump1: Let's assume that the conflict occurs.; sent13 & assump1 -> int1: the straightening happens.; sent5 & sent1 -> int2: the nontoxicness happens.; int1 & int2 -> int3: the straightening happens and the nontoxicness occurs.; int3 & sent11 -> int4: the scoffing territorial does not occur.; sent4 -> int5: the communications does not occur.; sent14 & int5 -> int6: both the scoffing territorial and the scoffing S-shape occurs.; int6 -> int7: the scoffing territorial occurs.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the conflict does not occur.; int9 & sent10 -> int10: the fact that the fact that the FM and the scoffing azithromycin occurs is true does not hold.; int10 & sent9 -> int11: the fetalness does not occur.; int11 & sent12 -> hypothesis;
$hypothesis$ = the fact that the hurdling does not occur and the freshness does not occur is not correct. ; $context$ = sent1: that both the non-crustalness and the toxicness happens is false. sent2: the freshness does not occur. sent3: if the communications does not occur the fact that the scoffing S-shape occurs is correct. sent4: not the communications but the noninvasiveness occurs. sent5: if the fact that both the non-crustalness and the toxicness occurs is not true then the toxic happens. sent6: if the fetalness does not occur then the freshness does not occur. sent7: that the scoffing azithromycin does not occur causes that the fetalness does not occur. sent8: that the fact that both the non-crustalness and the nontoxicness happens is not right is not false. sent9: the fetalness does not occur if the fact that both the FM and the scoffing azithromycin happens is wrong. sent10: if the conflict does not occur the fact that the FM happens and the scoffing azithromycin happens is not right. sent11: the scoffing territorial does not occur if the fact that the straightening occurs and the nontoxicness happens is right. sent12: the hurdles does not occur and the freshness does not occur if the fetalness does not occur. sent13: that the conflicting happens prevents that the straightening does not occur. sent14: that the communications does not occur causes that the scoffing territorial occurs and the scoffing S-shape occurs. ; $proof$ = 
void -> assump1: Let's assume that the conflict occurs.; sent13 & assump1 -> int1: the straightening happens.; sent5 & sent1 -> int2: the nontoxicness happens.; int1 & int2 -> int3: the straightening happens and the nontoxicness occurs.; int3 & sent11 -> int4: the scoffing territorial does not occur.; sent4 -> int5: the communications does not occur.; sent14 & int5 -> int6: both the scoffing territorial and the scoffing S-shape occurs.; int6 -> int7: the scoffing territorial occurs.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the conflict does not occur.; int9 & sent10 -> int10: the fact that the fact that the FM and the scoffing azithromycin occurs is true does not hold.; int10 & sent9 -> int11: the fetalness does not occur.; int11 & sent12 -> hypothesis; __DISPROVED__