the bestirring madness does not occur.
sent1: if that the abscising occurs or the gala happens or both is not wrong the doubles does not occur. sent2: the abscising does not occur if the non-doublesness and the gala happens. sent3: the liquefying heartbeat and the non-incuriousness happens if the purposefulness happens. sent4: the fact that not the doubles but the gala happens is not wrong if the incuriousness does not occur. sent5: the doubling occurs and the incuriousness occurs if the liquefying heartbeat does not occur. sent6: the abscising occurs if the fact that both the non-mininess and the non-agentialness happens does not hold. sent7: if the bestirring madness occurs then that the non-mininess and the non-agentialness happens is not true. sent8: the liquefying heartbeat does not occur.
void -> assump1: Let's assume that the bestirring madness happens.; sent7 & assump1 -> int1: that the non-mininess and the non-agentialness occurs is not right.; int1 & sent6 -> int2: the abscising happens.; int2 -> int3: the abscising occurs and/or the gala occurs.; int3 & sent1 -> int4: the doubles does not occur.; sent5 & sent8 -> int5: the doublesness happens and the incuriousness happens.; int5 -> int6: the doubling happens.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the swag does not occur.
$hypothesis$ = the bestirring madness does not occur. ; $context$ = sent1: if that the abscising occurs or the gala happens or both is not wrong the doubles does not occur. sent2: the abscising does not occur if the non-doublesness and the gala happens. sent3: the liquefying heartbeat and the non-incuriousness happens if the purposefulness happens. sent4: the fact that not the doubles but the gala happens is not wrong if the incuriousness does not occur. sent5: the doubling occurs and the incuriousness occurs if the liquefying heartbeat does not occur. sent6: the abscising occurs if the fact that both the non-mininess and the non-agentialness happens does not hold. sent7: if the bestirring madness occurs then that the non-mininess and the non-agentialness happens is not true. sent8: the liquefying heartbeat does not occur. ; $proof$ = 
void -> assump1: Let's assume that the bestirring madness happens.; sent7 & assump1 -> int1: that the non-mininess and the non-agentialness occurs is not right.; int1 & sent6 -> int2: the abscising happens.; int2 -> int3: the abscising occurs and/or the gala occurs.; int3 & sent1 -> int4: the doubles does not occur.; sent5 & sent8 -> int5: the doublesness happens and the incuriousness happens.; int5 -> int6: the doubling happens.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__