the fact that the ginning occurs hold.
sent1: that the staining does not occur prevents the hefting Ursidae. sent2: the cohering outline occurs. sent3: the fact that the depravity but not the paleoanthropologicalness occurs is false. sent4: the newspapering does not occur if the staining occurs and/or the invigorating happens. sent5: the newspapering happens. sent6: that the cheerleading does not occur and the drift does not occur is not right if the bloom does not occur. sent7: that the newspapering does not occur is caused by the invigorating. sent8: the sugariness happens. sent9: that the fact that not the depravity but the paleoanthropologicalness occurs does not hold is not wrong if the hefting Ursidae does not occur. sent10: the fact that not the depravity but the paleoanthropologicalness occurs is not true. sent11: if the fact that the depravity does not occur and the paleoanthropologicalness does not occur does not hold the gin happens. sent12: the staining but not the gin happens if the invigorating happens. sent13: the spiritlessness happens. sent14: that the depravity does not occur and the paleoanthropologicalness does not occur is not true if the hefting Ursidae does not occur. sent15: the ferment does not occur if the uniovularness does not occur.
void -> assump1: Let's assume that the staining happens.; assump1 -> int1: the staining and/or the invigorating happens.; int1 & sent4 -> int2: the newspapering does not occur.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the staining does not occur.; int4 & sent1 -> int5: the hefting Ursidae does not occur.; int5 & sent14 -> int6: the fact that the depravity does not occur and the paleoanthropologicalness does not occur is wrong.; int6 & sent11 -> hypothesis;
the gin does not occur.
$hypothesis$ = the fact that the ginning occurs hold. ; $context$ = sent1: that the staining does not occur prevents the hefting Ursidae. sent2: the cohering outline occurs. sent3: the fact that the depravity but not the paleoanthropologicalness occurs is false. sent4: the newspapering does not occur if the staining occurs and/or the invigorating happens. sent5: the newspapering happens. sent6: that the cheerleading does not occur and the drift does not occur is not right if the bloom does not occur. sent7: that the newspapering does not occur is caused by the invigorating. sent8: the sugariness happens. sent9: that the fact that not the depravity but the paleoanthropologicalness occurs does not hold is not wrong if the hefting Ursidae does not occur. sent10: the fact that not the depravity but the paleoanthropologicalness occurs is not true. sent11: if the fact that the depravity does not occur and the paleoanthropologicalness does not occur does not hold the gin happens. sent12: the staining but not the gin happens if the invigorating happens. sent13: the spiritlessness happens. sent14: that the depravity does not occur and the paleoanthropologicalness does not occur is not true if the hefting Ursidae does not occur. sent15: the ferment does not occur if the uniovularness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the staining happens.; assump1 -> int1: the staining and/or the invigorating happens.; int1 & sent4 -> int2: the newspapering does not occur.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the staining does not occur.; int4 & sent1 -> int5: the hefting Ursidae does not occur.; int5 & sent14 -> int6: the fact that the depravity does not occur and the paleoanthropologicalness does not occur is wrong.; int6 & sent11 -> hypothesis; __PROVED__