the grouse occurs.
sent1: the categoricalness is prevented by that the ergotropicness happens. sent2: if the fact that the fact that both the non-ergotropicness and the non-immuneness occurs hold is not true then the categoricalness does not occur. sent3: that the non-ergotropicness and the non-immuneness occurs prevents the allometricness. sent4: the mulcting mailsorter occurs. sent5: that the ergotropicness happens but the immune does not occur is false. sent6: that the mulcting mailsorter does not occur causes that the counterrevolutionariness does not occur and the belaboring waviness does not occur. sent7: the fitter occurs. sent8: the belaboring waviness does not occur if the fact that the non-counterrevolutionaryness and the otherness happens is false. sent9: if the counterrevolutionariness does not occur and the belaboring waviness does not occur then the otherness does not occur. sent10: the catapulting productiveness happens. sent11: the fact that that both the ergotropicness and the non-immuneness occurs is right prevents that the allometricness happens. sent12: if the otherness does not occur then the allometricness and the categoricalness occurs. sent13: the mulcting mailsorter happens and the grouse occurs if the belaboring waviness does not occur. sent14: the catapulting productiveness happens and the categoricalness occurs. sent15: the allometricness prevents that the associateship does not occur. sent16: that the belaboring waviness happens is prevented by the non-otherness.
void -> assump1: Let's assume that that both the non-ergotropicness and the non-immuneness occurs is not correct.; sent2 & assump1 -> int1: the categoricalness does not occur.; sent14 -> int2: the categoricalness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ergotropicness does not occur and the immune does not occur.; int4 & sent3 -> int5: the allometricness does not occur.;
the associateship occurs.
$hypothesis$ = the grouse occurs. ; $context$ = sent1: the categoricalness is prevented by that the ergotropicness happens. sent2: if the fact that the fact that both the non-ergotropicness and the non-immuneness occurs hold is not true then the categoricalness does not occur. sent3: that the non-ergotropicness and the non-immuneness occurs prevents the allometricness. sent4: the mulcting mailsorter occurs. sent5: that the ergotropicness happens but the immune does not occur is false. sent6: that the mulcting mailsorter does not occur causes that the counterrevolutionariness does not occur and the belaboring waviness does not occur. sent7: the fitter occurs. sent8: the belaboring waviness does not occur if the fact that the non-counterrevolutionaryness and the otherness happens is false. sent9: if the counterrevolutionariness does not occur and the belaboring waviness does not occur then the otherness does not occur. sent10: the catapulting productiveness happens. sent11: the fact that that both the ergotropicness and the non-immuneness occurs is right prevents that the allometricness happens. sent12: if the otherness does not occur then the allometricness and the categoricalness occurs. sent13: the mulcting mailsorter happens and the grouse occurs if the belaboring waviness does not occur. sent14: the catapulting productiveness happens and the categoricalness occurs. sent15: the allometricness prevents that the associateship does not occur. sent16: that the belaboring waviness happens is prevented by the non-otherness. ; $proof$ = 
void -> assump1: Let's assume that that both the non-ergotropicness and the non-immuneness occurs is not correct.; sent2 & assump1 -> int1: the categoricalness does not occur.; sent14 -> int2: the categoricalness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ergotropicness does not occur and the immune does not occur.; int4 & sent3 -> int5: the allometricness does not occur.; __UNKNOWN__