that the accrediting bystander happens or the sunray happens or both is true.
sent1: the accrediting bystander occurs if the fact that that the dogtrot does not occur and/or the glottochronologicalness does not occur is not false does not hold. sent2: if the perithelialness occurs then the exclaiming happens. sent3: the litigating occurs if the diligentness does not occur. sent4: the filling depiction does not occur. sent5: that the glottochronologicalness does not occur prevents the non-perithelialness. sent6: that the accrediting bystander happens and/or the sunray occurs is not correct if the dogtrot does not occur. sent7: that not the exclaiming but the accrediting bystander occurs is brought about by the sunray. sent8: the fact that the proposing wrester occurs and the servileness occurs is incorrect if the filling depiction does not occur. sent9: the scatter does not occur. sent10: if the dogtrot does not occur the perithelialness occurs. sent11: the proposing Hemipteronatus does not occur if that the proposing wrester occurs and the servileness happens does not hold. sent12: the exclaiming brings about that the proposing Hemipteronatus occurs. sent13: the fact that the accrediting shore happens and the filling Maxim occurs does not hold if the dogtrot does not occur.
void -> assump1: Let's assume that the dogtrot does not occur and/or the glottochronologicalness does not occur.; assump1 & sent10 & sent5 -> int1: the perithelialness occurs.; int1 & sent2 -> int2: the exclaiming occurs.; int2 & sent12 -> int3: the proposing Hemipteronatus occurs.; sent8 & sent4 -> int4: the fact that the proposing wrester occurs and the servileness occurs is incorrect.; sent11 & int4 -> int5: the proposing Hemipteronatus does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the dogtrot does not occur or the glottochronologicalness does not occur or both is false.; int7 & sent1 -> int8: the accrediting bystander occurs.; int8 -> hypothesis;
that the accrediting bystander and/or the sunray occurs is not right.
$hypothesis$ = that the accrediting bystander happens or the sunray happens or both is true. ; $context$ = sent1: the accrediting bystander occurs if the fact that that the dogtrot does not occur and/or the glottochronologicalness does not occur is not false does not hold. sent2: if the perithelialness occurs then the exclaiming happens. sent3: the litigating occurs if the diligentness does not occur. sent4: the filling depiction does not occur. sent5: that the glottochronologicalness does not occur prevents the non-perithelialness. sent6: that the accrediting bystander happens and/or the sunray occurs is not correct if the dogtrot does not occur. sent7: that not the exclaiming but the accrediting bystander occurs is brought about by the sunray. sent8: the fact that the proposing wrester occurs and the servileness occurs is incorrect if the filling depiction does not occur. sent9: the scatter does not occur. sent10: if the dogtrot does not occur the perithelialness occurs. sent11: the proposing Hemipteronatus does not occur if that the proposing wrester occurs and the servileness happens does not hold. sent12: the exclaiming brings about that the proposing Hemipteronatus occurs. sent13: the fact that the accrediting shore happens and the filling Maxim occurs does not hold if the dogtrot does not occur. ; $proof$ = 
void -> assump1: Let's assume that the dogtrot does not occur and/or the glottochronologicalness does not occur.; assump1 & sent10 & sent5 -> int1: the perithelialness occurs.; int1 & sent2 -> int2: the exclaiming occurs.; int2 & sent12 -> int3: the proposing Hemipteronatus occurs.; sent8 & sent4 -> int4: the fact that the proposing wrester occurs and the servileness occurs is incorrect.; sent11 & int4 -> int5: the proposing Hemipteronatus does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the dogtrot does not occur or the glottochronologicalness does not occur or both is false.; int7 & sent1 -> int8: the accrediting bystander occurs.; int8 -> hypothesis; __PROVED__