that the cross-sententialness does not occur hold.
sent1: the reclamation results in that the gargle occurs. sent2: that the neutering does not occur or the schematization happens or both is not true if the reclamation does not occur. sent3: the neutering happens if the reclamation does not occur. sent4: the fact that the impress occurs is right if the icebreaker happens. sent5: the neutering happens or the schematization happens or both. sent6: the icebreaker happens if the gargle occurs. sent7: the fact that the neuteringness does not occur and/or the schematization occurs hold if the millennialness happens. sent8: the neuteringness happens. sent9: the millennialness happens. sent10: that the impress occurs leads to that the cross-sententialness happens. sent11: the neuteringness happens or the schematization occurs or both if the millennialness occurs.
void -> assump1: Let's assume that the reclamation does not occur.; sent2 & assump1 -> int1: the fact that either the non-neuteringness or the schematization or both happens does not hold.; sent7 & sent9 -> int2: the non-neuteringness and/or the schematization happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the reclamation occurs is not incorrect.; int4 & sent1 -> int5: the gargle happens.; int5 & sent6 -> int6: the icebreaker occurs.; int6 & sent4 -> int7: that the impressing happens is not wrong.; int7 & sent10 -> hypothesis;
$hypothesis$ = that the cross-sententialness does not occur hold. ; $context$ = sent1: the reclamation results in that the gargle occurs. sent2: that the neutering does not occur or the schematization happens or both is not true if the reclamation does not occur. sent3: the neutering happens if the reclamation does not occur. sent4: the fact that the impress occurs is right if the icebreaker happens. sent5: the neutering happens or the schematization happens or both. sent6: the icebreaker happens if the gargle occurs. sent7: the fact that the neuteringness does not occur and/or the schematization occurs hold if the millennialness happens. sent8: the neuteringness happens. sent9: the millennialness happens. sent10: that the impress occurs leads to that the cross-sententialness happens. sent11: the neuteringness happens or the schematization occurs or both if the millennialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the reclamation does not occur.; sent2 & assump1 -> int1: the fact that either the non-neuteringness or the schematization or both happens does not hold.; sent7 & sent9 -> int2: the non-neuteringness and/or the schematization happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the reclamation occurs is not incorrect.; int4 & sent1 -> int5: the gargle happens.; int5 & sent6 -> int6: the icebreaker occurs.; int6 & sent4 -> int7: that the impressing happens is not wrong.; int7 & sent10 -> hypothesis; __DISPROVED__