the on-lineness happens.
sent1: if the fact that the weaving occurs is not false then the non-ataxicness and the manifestation occurs. sent2: that the casework does not occur is not incorrect. sent3: if the tremoring occurs both the non-partialness and the non-exploratoriness happens. sent4: if the Boeotianness occurs but the carvel-builtness does not occur then the wariness happens. sent5: if the exploratoriness happens but the caliphate does not occur that the on-lineness occurs hold. sent6: the slurping but not the nailing Connecticut happens if the manifestation happens. sent7: that the change-up but not the casework happens is not correct if the caliphate happens. sent8: the tremoring is caused by that the slurping happens and the nailing Connecticut does not occur. sent9: the fact that both the change-up and the casework occurs is not true if the caliphate occurs. sent10: that the change-up happens and the casework occurs does not hold. sent11: the exploratoriness occurs. sent12: either that the partialness happens or the on-lineness or both is triggered by that the tremor does not occur. sent13: the change-up but not the casework happens.
void -> assump1: Let's assume that the caliphate happens.; sent7 & assump1 -> int1: that the change-up occurs and the casework does not occur is false.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the caliphate does not occur.; int3 & sent11 -> int4: the exploratoriness happens and the caliphate does not occur.; int4 & sent5 -> hypothesis;
the Afghaniness happens.
$hypothesis$ = the on-lineness happens. ; $context$ = sent1: if the fact that the weaving occurs is not false then the non-ataxicness and the manifestation occurs. sent2: that the casework does not occur is not incorrect. sent3: if the tremoring occurs both the non-partialness and the non-exploratoriness happens. sent4: if the Boeotianness occurs but the carvel-builtness does not occur then the wariness happens. sent5: if the exploratoriness happens but the caliphate does not occur that the on-lineness occurs hold. sent6: the slurping but not the nailing Connecticut happens if the manifestation happens. sent7: that the change-up but not the casework happens is not correct if the caliphate happens. sent8: the tremoring is caused by that the slurping happens and the nailing Connecticut does not occur. sent9: the fact that both the change-up and the casework occurs is not true if the caliphate occurs. sent10: that the change-up happens and the casework occurs does not hold. sent11: the exploratoriness occurs. sent12: either that the partialness happens or the on-lineness or both is triggered by that the tremor does not occur. sent13: the change-up but not the casework happens. ; $proof$ = 
void -> assump1: Let's assume that the caliphate happens.; sent7 & assump1 -> int1: that the change-up occurs and the casework does not occur is false.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the caliphate does not occur.; int3 & sent11 -> int4: the exploratoriness happens and the caliphate does not occur.; int4 & sent5 -> hypothesis; __PROVED__