the bearing does not occur and the cytoplasmicness does not occur.
sent1: the bacteriostaticness occurs if the greeting staddle does not occur. sent2: that the bilge occurs is prevented by that not the cytoplasmicness but the avarice occurs. sent3: the fact that the tetragonalness happens is true. sent4: the avarice occurs if the cytoplasmicness happens. sent5: if the communion happens the bore does not occur. sent6: that the preluding occurs causes that either the dumping shellfish does not occur or the atomization does not occur or both. sent7: if the prelude does not occur then both the atomization and the dumping shellfish occurs. sent8: if the atomization does not occur the fastball does not occur. sent9: that the refreshing theophany occurs is prevented by that the snuff does not occur. sent10: if the dumping shellfish does not occur then the fastball does not occur. sent11: the preluding happens. sent12: the communion occurs. sent13: that the avarice happens and the evitableness occurs prevents that the greeting staddle occurs. sent14: if the shoplifting does not occur then the listing assignment does not occur. sent15: the seaward occurs and the evitableness occurs.
void -> assump1: Let's assume that the cytoplasmicness happens.; sent4 & assump1 -> int1: the avarice happens.; sent15 -> int2: the evitableness occurs.; int1 & int2 -> int3: the avarice and the evitableness happens.; int3 & sent13 -> int4: the greeting staddle does not occur.; int4 & sent1 -> int5: the bacteriostaticness happens.; sent6 & sent11 -> int6: the dumping shellfish does not occur or the atomization does not occur or both.; int6 & sent10 & sent8 -> int7: the fastball does not occur.; sent5 & sent12 -> int8: the bearing does not occur.;
the bilge does not occur and the atonicness does not occur.
$hypothesis$ = the bearing does not occur and the cytoplasmicness does not occur. ; $context$ = sent1: the bacteriostaticness occurs if the greeting staddle does not occur. sent2: that the bilge occurs is prevented by that not the cytoplasmicness but the avarice occurs. sent3: the fact that the tetragonalness happens is true. sent4: the avarice occurs if the cytoplasmicness happens. sent5: if the communion happens the bore does not occur. sent6: that the preluding occurs causes that either the dumping shellfish does not occur or the atomization does not occur or both. sent7: if the prelude does not occur then both the atomization and the dumping shellfish occurs. sent8: if the atomization does not occur the fastball does not occur. sent9: that the refreshing theophany occurs is prevented by that the snuff does not occur. sent10: if the dumping shellfish does not occur then the fastball does not occur. sent11: the preluding happens. sent12: the communion occurs. sent13: that the avarice happens and the evitableness occurs prevents that the greeting staddle occurs. sent14: if the shoplifting does not occur then the listing assignment does not occur. sent15: the seaward occurs and the evitableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the cytoplasmicness happens.; sent4 & assump1 -> int1: the avarice happens.; sent15 -> int2: the evitableness occurs.; int1 & int2 -> int3: the avarice and the evitableness happens.; int3 & sent13 -> int4: the greeting staddle does not occur.; int4 & sent1 -> int5: the bacteriostaticness happens.; sent6 & sent11 -> int6: the dumping shellfish does not occur or the atomization does not occur or both.; int6 & sent10 & sent8 -> int7: the fastball does not occur.; sent5 & sent12 -> int8: the bearing does not occur.; __UNKNOWN__