the colloguing outgrowth does not occur.
sent1: the expiring Nilotic occurs or the obligateness occurs or both. sent2: the peaceableness does not occur. sent3: the fact that the outing does not occur is true. sent4: if the aphaniticness happens then the colloguing outgrowth does not occur. sent5: that the nonspatialness happens or the aphaniticness occurs or both prevents the colloguing outgrowth. sent6: that the nonspatialness occurs and the colloguing outgrowth does not occur is false if the aphaniticness does not occur. sent7: that the usage happens leads to either that the aphaniticness does not occur or the chorusing or both. sent8: the aphaniticness is caused by the usage. sent9: the generativeness does not occur. sent10: the minstreling disaster happens and/or the Orion occurs. sent11: that the boxing does not occur but the nonspatialness occurs is not right if the aphaniticness does not occur. sent12: the symbolization happens and/or the inevitable occurs. sent13: if the fact that the cautiousness occurs is not incorrect then that the capitalization does not occur hold. sent14: the non-aphaniticness is brought about by either that the non-aphanitic does not occur or that the chorus happens or both. sent15: the aphaniticness does not occur if the usage occurs and the colloguing outgrowth occurs. sent16: if the fact that the nonspatialness happens but the colloguing outgrowth does not occur is wrong then the colloguing outgrowth occurs. sent17: if that the boxing does not occur but the nonspatialness occurs is false then the boxing happens. sent18: the fact that the undesirable occurs is not false. sent19: the nonspatialness occurs. sent20: the algometry occurs. sent21: the pointlessness or the monovalentness or both happens.
sent19 -> int1: the nonspatialness happens or the aphaniticness happens or both.; sent5 & int1 -> hypothesis;
the colloguing outgrowth happens.
$hypothesis$ = the colloguing outgrowth does not occur. ; $context$ = sent1: the expiring Nilotic occurs or the obligateness occurs or both. sent2: the peaceableness does not occur. sent3: the fact that the outing does not occur is true. sent4: if the aphaniticness happens then the colloguing outgrowth does not occur. sent5: that the nonspatialness happens or the aphaniticness occurs or both prevents the colloguing outgrowth. sent6: that the nonspatialness occurs and the colloguing outgrowth does not occur is false if the aphaniticness does not occur. sent7: that the usage happens leads to either that the aphaniticness does not occur or the chorusing or both. sent8: the aphaniticness is caused by the usage. sent9: the generativeness does not occur. sent10: the minstreling disaster happens and/or the Orion occurs. sent11: that the boxing does not occur but the nonspatialness occurs is not right if the aphaniticness does not occur. sent12: the symbolization happens and/or the inevitable occurs. sent13: if the fact that the cautiousness occurs is not incorrect then that the capitalization does not occur hold. sent14: the non-aphaniticness is brought about by either that the non-aphanitic does not occur or that the chorus happens or both. sent15: the aphaniticness does not occur if the usage occurs and the colloguing outgrowth occurs. sent16: if the fact that the nonspatialness happens but the colloguing outgrowth does not occur is wrong then the colloguing outgrowth occurs. sent17: if that the boxing does not occur but the nonspatialness occurs is false then the boxing happens. sent18: the fact that the undesirable occurs is not false. sent19: the nonspatialness occurs. sent20: the algometry occurs. sent21: the pointlessness or the monovalentness or both happens. ; $proof$ = 
sent19 -> int1: the nonspatialness happens or the aphaniticness happens or both.; sent5 & int1 -> hypothesis; __PROVED__