the astigmaticness occurs.
sent1: that the comprehensive but not the grumbling Monet happens prevents that the fernlessness happens. sent2: if the umbelliferousness occurs then the fact that not the protesting but the fare-stage happens does not hold. sent3: if the fact that the comprehensiveness but not the grumbling Monet happens is not true then the adding Sajama happens. sent4: the umbelliferousness happens. sent5: the astigmaticness occurs if either the nightwork does not occur or the adding Sajama occurs or both.
void -> assump1: Let's assume that the comprehensiveness but not the grumbling Monet happens.; sent1 & assump1 -> int1: the fact that the fernlessness does not occur is not false.; sent2 & sent4 -> int2: the fact that not the protest but the fare-stage occurs is not right.;
$hypothesis$ = the astigmaticness occurs. ; $context$ = sent1: that the comprehensive but not the grumbling Monet happens prevents that the fernlessness happens. sent2: if the umbelliferousness occurs then the fact that not the protesting but the fare-stage happens does not hold. sent3: if the fact that the comprehensiveness but not the grumbling Monet happens is not true then the adding Sajama happens. sent4: the umbelliferousness happens. sent5: the astigmaticness occurs if either the nightwork does not occur or the adding Sajama occurs or both. ; $proof$ = 
void -> assump1: Let's assume that the comprehensiveness but not the grumbling Monet happens.; sent1 & assump1 -> int1: the fact that the fernlessness does not occur is not false.; sent2 & sent4 -> int2: the fact that not the protest but the fare-stage occurs is not right.; __UNKNOWN__