the generation occurs.
sent1: the generation occurs if the combination occurs. sent2: the petting does not occur. sent3: that the Aramean does not occur causes that the ferreting fractionation and the degeneration occurs. sent4: if that the ferreting hut and the non-biotiticness occurs is not true then the narrowed does not occur. sent5: that the mildness occurs and the numbers occurs is caused by that the slice does not occur. sent6: that the ferreting fractionation occurs results in that not the clouding count but the osmoticness occurs. sent7: if the narrowed does not occur that the fact that the petting occurs but the combination does not occur is not false is not right. sent8: that the disjunctness does not occur if that the combination and the petting happens does not hold is right. sent9: that the mildness and the clouding eyesore occurs leads to that the Aramean does not occur. sent10: if the narrowed happens then the fact that that the combination does not occur and the petting does not occur is incorrect is correct. sent11: the slice does not occur. sent12: if the osmoticness happens the fact that the ferreting hut but not the biotiticness happens is false. sent13: the battery occurs.
void -> assump1: Let's assume that the combination does not occur.; assump1 & sent2 -> int1: the combination does not occur and the petting does not occur.;
the non-disjunctness and the non-theoreticalness occurs.
$hypothesis$ = the generation occurs. ; $context$ = sent1: the generation occurs if the combination occurs. sent2: the petting does not occur. sent3: that the Aramean does not occur causes that the ferreting fractionation and the degeneration occurs. sent4: if that the ferreting hut and the non-biotiticness occurs is not true then the narrowed does not occur. sent5: that the mildness occurs and the numbers occurs is caused by that the slice does not occur. sent6: that the ferreting fractionation occurs results in that not the clouding count but the osmoticness occurs. sent7: if the narrowed does not occur that the fact that the petting occurs but the combination does not occur is not false is not right. sent8: that the disjunctness does not occur if that the combination and the petting happens does not hold is right. sent9: that the mildness and the clouding eyesore occurs leads to that the Aramean does not occur. sent10: if the narrowed happens then the fact that that the combination does not occur and the petting does not occur is incorrect is correct. sent11: the slice does not occur. sent12: if the osmoticness happens the fact that the ferreting hut but not the biotiticness happens is false. sent13: the battery occurs. ; $proof$ = 
void -> assump1: Let's assume that the combination does not occur.; assump1 & sent2 -> int1: the combination does not occur and the petting does not occur.; __UNKNOWN__