the segregating senior occurs.
sent1: the capering does not occur if the fact that the about-face and/or the slipping occurs is not right. sent2: the mintage happens. sent3: if the segregating senior happens the decisiveness does not occur. sent4: the mintage does not occur if the liquefying happens and the sandblast occurs. sent5: that the decisiveness does not occur results in that the lithicness does not occur but the mintage happens. sent6: both the decisiveness and the lithicness happens if the mintage does not occur. sent7: the liquefying does not occur if the slip does not occur and/or the liquefying does not occur. sent8: if the capering happens the slipping does not occur or the liquefying does not occur or both. sent9: if the liquefying does not occur then the sandblast occurs. sent10: that the caper occurs is correct. sent11: the crudeness happens. sent12: the sandblasting does not occur if both the non-lithicness and the mintage occurs. sent13: if the khamsin does not occur then the fact that the about-face or the slipping or both happens is wrong.
void -> assump1: Let's assume that the fact that the segregating senior occurs is not false.; sent3 & assump1 -> int1: that the decisiveness does not occur is not false.; int1 & sent5 -> int2: that the non-lithicness and the mintage happens is not wrong.; int2 & sent12 -> int3: the sandblast does not occur.; sent8 & sent10 -> int4: the slipping does not occur and/or the liquefying does not occur.; sent7 & int4 -> int5: the liquefying does not occur.; sent9 & int5 -> int6: the sandblasting occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the segregating senior occurs.
$hypothesis$ = the segregating senior occurs. ; $context$ = sent1: the capering does not occur if the fact that the about-face and/or the slipping occurs is not right. sent2: the mintage happens. sent3: if the segregating senior happens the decisiveness does not occur. sent4: the mintage does not occur if the liquefying happens and the sandblast occurs. sent5: that the decisiveness does not occur results in that the lithicness does not occur but the mintage happens. sent6: both the decisiveness and the lithicness happens if the mintage does not occur. sent7: the liquefying does not occur if the slip does not occur and/or the liquefying does not occur. sent8: if the capering happens the slipping does not occur or the liquefying does not occur or both. sent9: if the liquefying does not occur then the sandblast occurs. sent10: that the caper occurs is correct. sent11: the crudeness happens. sent12: the sandblasting does not occur if both the non-lithicness and the mintage occurs. sent13: if the khamsin does not occur then the fact that the about-face or the slipping or both happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the segregating senior occurs is not false.; sent3 & assump1 -> int1: that the decisiveness does not occur is not false.; int1 & sent5 -> int2: that the non-lithicness and the mintage happens is not wrong.; int2 & sent12 -> int3: the sandblast does not occur.; sent8 & sent10 -> int4: the slipping does not occur and/or the liquefying does not occur.; sent7 & int4 -> int5: the liquefying does not occur.; sent9 & int5 -> int6: the sandblasting occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__