the circling provirus does not occur.
sent1: that the astragalarness does not occur is true. sent2: the impregnation occurs. sent3: the trivalentness occurs. sent4: if the circling schmeer does not occur the outingness and the Anglophobicness occurs. sent5: that the factorizing flamethrower but not the astragalarness happens triggers that the contention happens. sent6: if the characterization occurs the factorizing reprobate does not occur but the product happens. sent7: the contention causes that the obscuring Thrinax happens. sent8: that the factorizing Greenpeace does not occur is prevented by that the nominativeness occurs. sent9: that that the contention occurs is triggered by that the factorizing flamethrower happens and the astragalarness happens is not incorrect. sent10: that the trivalentness happens and/or that the obscuring Thrinax happens is brought about by that the contention does not occur. sent11: if the outingness happens the fact that the unsusceptibleness occurs but the mitzvah does not occur is not correct. sent12: the circling schmeer does not occur if the factorizing reprobate does not occur. sent13: the astragalarness does not occur if that the unsusceptibleness happens but the mitzvah does not occur is false. sent14: that the product does not occur is caused by that the circling provirus and the non-trivalentness occurs. sent15: the factorizing flamethrower happens but the astragalarness does not occur.
void -> assump1: Let's assume that the circling provirus happens.; assump1 & sent3 -> int1: the circling provirus and the trivalentness occurs.; sent5 & sent15 -> int2: the contention happens.; sent7 & int2 -> int3: the obscuring Thrinax occurs.;
the acting but not the product occurs.
$hypothesis$ = the circling provirus does not occur. ; $context$ = sent1: that the astragalarness does not occur is true. sent2: the impregnation occurs. sent3: the trivalentness occurs. sent4: if the circling schmeer does not occur the outingness and the Anglophobicness occurs. sent5: that the factorizing flamethrower but not the astragalarness happens triggers that the contention happens. sent6: if the characterization occurs the factorizing reprobate does not occur but the product happens. sent7: the contention causes that the obscuring Thrinax happens. sent8: that the factorizing Greenpeace does not occur is prevented by that the nominativeness occurs. sent9: that that the contention occurs is triggered by that the factorizing flamethrower happens and the astragalarness happens is not incorrect. sent10: that the trivalentness happens and/or that the obscuring Thrinax happens is brought about by that the contention does not occur. sent11: if the outingness happens the fact that the unsusceptibleness occurs but the mitzvah does not occur is not correct. sent12: the circling schmeer does not occur if the factorizing reprobate does not occur. sent13: the astragalarness does not occur if that the unsusceptibleness happens but the mitzvah does not occur is false. sent14: that the product does not occur is caused by that the circling provirus and the non-trivalentness occurs. sent15: the factorizing flamethrower happens but the astragalarness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the circling provirus happens.; assump1 & sent3 -> int1: the circling provirus and the trivalentness occurs.; sent5 & sent15 -> int2: the contention happens.; sent7 & int2 -> int3: the obscuring Thrinax occurs.; __UNKNOWN__