the track does not occur if the thirsting Darwinism happens.
sent1: that the nonaccomplishment occurs results in that the trebling boughed does not occur. sent2: that both the non-pastaness and the thirsting Darwinism occurs prevents that the tracking does not occur. sent3: the tracking happens if the thirsting Darwinism occurs. sent4: that the offensiveness occurs is brought about by that the pastaness occurs. sent5: the thirsting coriander occurs. sent6: if that the hitching noncombatant does not occur is not incorrect the offensiveness does not occur. sent7: the culdoscopy does not occur. sent8: the hitching Lagarostrobus does not occur but the allness occurs. sent9: the tracking happens. sent10: that the unrentableness happens is not wrong. sent11: the screaming Percheron occurs. sent12: the hitching noncombatant does not occur.
void -> assump1: Let's assume that the pastaness occurs.; sent4 & assump1 -> int1: the offensiveness occurs.; sent6 & sent12 -> int2: the fact that the offensiveness does not occur is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pasta does not occur.; void -> assump2: Let's assume that the thirsting Darwinism occurs.; int4 & assump2 -> int5: the pastaness does not occur but the thirsting Darwinism happens.;
$hypothesis$ = the track does not occur if the thirsting Darwinism happens. ; $context$ = sent1: that the nonaccomplishment occurs results in that the trebling boughed does not occur. sent2: that both the non-pastaness and the thirsting Darwinism occurs prevents that the tracking does not occur. sent3: the tracking happens if the thirsting Darwinism occurs. sent4: that the offensiveness occurs is brought about by that the pastaness occurs. sent5: the thirsting coriander occurs. sent6: if that the hitching noncombatant does not occur is not incorrect the offensiveness does not occur. sent7: the culdoscopy does not occur. sent8: the hitching Lagarostrobus does not occur but the allness occurs. sent9: the tracking happens. sent10: that the unrentableness happens is not wrong. sent11: the screaming Percheron occurs. sent12: the hitching noncombatant does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pastaness occurs.; sent4 & assump1 -> int1: the offensiveness occurs.; sent6 & sent12 -> int2: the fact that the offensiveness does not occur is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pasta does not occur.; void -> assump2: Let's assume that the thirsting Darwinism occurs.; int4 & assump2 -> int5: the pastaness does not occur but the thirsting Darwinism happens.; __UNKNOWN__