the accelerating neritid happens.
sent1: the accelerating antiprotozoal does not occur. sent2: the provencalness occurs if the fact that the provencalnessness and the waving crabgrass occurs does not hold. sent3: that the familialness occurs and the accelerating toolmaker happens brings about that the radiotelephonicness does not occur. sent4: the prioritizing occurs. sent5: if the protuberating gallows-tree occurs the fact that the waving crabgrass and the monocarboxylicness occurs does not hold. sent6: if both the rag and the non-familialness occurs then the accelerating neritid happens. sent7: if the veneering occurs then that that either the trolling sour or the non-radiotelephonicness or both happens is correct is wrong. sent8: the waving teleost happens and/or the cenogeneticness does not occur. sent9: the accelerating toolmaker occurs. sent10: the fact that not the veneering but the cytoplasmicness occurs is not true if the office happens. sent11: that the prosthodonticsness does not occur prevents that the waving crabgrass does not occur. sent12: if both the waving actinolite and the waving teleost happens the commandment does not occur. sent13: the office happens. sent14: the seaming happens. sent15: if the fact that the veneering does not occur and the cytoplasmicness happens does not hold then the veneering occurs. sent16: the fact that if the defenestration occurs then the fact that the orgy does not occur but the inertialness happens does not hold hold. sent17: the trolling Faraday does not occur if both the bulimicness and the recapturing happens.
void -> assump1: Let's assume that the familialness happens.; assump1 & sent9 -> int1: both the familialness and the accelerating toolmaker occurs.; int1 & sent3 -> int2: the radiotelephonicness does not occur.; int2 -> int3: the trolling sour happens and/or the radiotelephonicness does not occur.; sent10 & sent13 -> int4: the fact that that not the veneering but the cytoplasmicness occurs is not correct hold.; sent15 & int4 -> int5: the veneering happens.; sent7 & int5 -> int6: that either the trolling sour or the non-radiotelephonicness or both happens does not hold.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the familialness does not occur.;
$hypothesis$ = the accelerating neritid happens. ; $context$ = sent1: the accelerating antiprotozoal does not occur. sent2: the provencalness occurs if the fact that the provencalnessness and the waving crabgrass occurs does not hold. sent3: that the familialness occurs and the accelerating toolmaker happens brings about that the radiotelephonicness does not occur. sent4: the prioritizing occurs. sent5: if the protuberating gallows-tree occurs the fact that the waving crabgrass and the monocarboxylicness occurs does not hold. sent6: if both the rag and the non-familialness occurs then the accelerating neritid happens. sent7: if the veneering occurs then that that either the trolling sour or the non-radiotelephonicness or both happens is correct is wrong. sent8: the waving teleost happens and/or the cenogeneticness does not occur. sent9: the accelerating toolmaker occurs. sent10: the fact that not the veneering but the cytoplasmicness occurs is not true if the office happens. sent11: that the prosthodonticsness does not occur prevents that the waving crabgrass does not occur. sent12: if both the waving actinolite and the waving teleost happens the commandment does not occur. sent13: the office happens. sent14: the seaming happens. sent15: if the fact that the veneering does not occur and the cytoplasmicness happens does not hold then the veneering occurs. sent16: the fact that if the defenestration occurs then the fact that the orgy does not occur but the inertialness happens does not hold hold. sent17: the trolling Faraday does not occur if both the bulimicness and the recapturing happens. ; $proof$ = 
void -> assump1: Let's assume that the familialness happens.; assump1 & sent9 -> int1: both the familialness and the accelerating toolmaker occurs.; int1 & sent3 -> int2: the radiotelephonicness does not occur.; int2 -> int3: the trolling sour happens and/or the radiotelephonicness does not occur.; sent10 & sent13 -> int4: the fact that that not the veneering but the cytoplasmicness occurs is not correct hold.; sent15 & int4 -> int5: the veneering happens.; sent7 & int5 -> int6: that either the trolling sour or the non-radiotelephonicness or both happens does not hold.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the familialness does not occur.; __UNKNOWN__