if the holdover happens then the unpicking Farsi does not occur but the primariness occurs.
sent1: that the fact that the non-zoicness and the impromptu happens is wrong if the demurring does not occur is true. sent2: the furloughing cornea happens and/or the tunneling obtrusiveness happens. sent3: the fact that the serialization does not occur is correct. sent4: the furloughing Fauve happens. sent5: if the legislatorship happens then the urbanness does not occur. sent6: that both the zoicness and the impromptu happens is not true. sent7: if the fact that the TLC does not occur is not false both the primariness and the furloughing Fauve occurs. sent8: if the demur does not occur then the fact that that the zoicness and the impromptu happens is incorrect is not incorrect. sent9: that the holdover does not occur yields that the negative occurs and the constructiveness happens. sent10: that the demur does not occur is caused by that the negativeness happens. sent11: if the negativeness occurs and/or the holdover happens the demurring does not occur. sent12: if that not the zoicness but the impromptu happens is incorrect then the unpicking Farsi does not occur. sent13: the furloughing Fauve occurs if the TLC does not occur.
void -> assump1: Let's assume that the holdover happens.; assump1 -> int1: the negative occurs and/or the holdover happens.; int1 & sent11 -> int2: the demurring does not occur.; int2 & sent1 -> int3: the fact that not the zoicness but the impromptu happens does not hold.; int3 & sent12 -> int4: the unpicking Farsi does not occur.;
the constructiveness happens.
$hypothesis$ = if the holdover happens then the unpicking Farsi does not occur but the primariness occurs. ; $context$ = sent1: that the fact that the non-zoicness and the impromptu happens is wrong if the demurring does not occur is true. sent2: the furloughing cornea happens and/or the tunneling obtrusiveness happens. sent3: the fact that the serialization does not occur is correct. sent4: the furloughing Fauve happens. sent5: if the legislatorship happens then the urbanness does not occur. sent6: that both the zoicness and the impromptu happens is not true. sent7: if the fact that the TLC does not occur is not false both the primariness and the furloughing Fauve occurs. sent8: if the demur does not occur then the fact that that the zoicness and the impromptu happens is incorrect is not incorrect. sent9: that the holdover does not occur yields that the negative occurs and the constructiveness happens. sent10: that the demur does not occur is caused by that the negativeness happens. sent11: if the negativeness occurs and/or the holdover happens the demurring does not occur. sent12: if that not the zoicness but the impromptu happens is incorrect then the unpicking Farsi does not occur. sent13: the furloughing Fauve occurs if the TLC does not occur. ; $proof$ = 
void -> assump1: Let's assume that the holdover happens.; assump1 -> int1: the negative occurs and/or the holdover happens.; int1 & sent11 -> int2: the demurring does not occur.; int2 & sent1 -> int3: the fact that not the zoicness but the impromptu happens does not hold.; int3 & sent12 -> int4: the unpicking Farsi does not occur.; __UNKNOWN__