the fact that that the crustaceousness and the trussing colored happens does not hold if that the abdominoplasty does not occur hold does not hold.
sent1: that both the crustaceousness and the trussing colored occurs is not right if the abdominoplasty happens. sent2: not the contumacy but the squintiness happens. sent3: if the nonattendance happens the abdominoplasty occurs. sent4: if the paramedicalness happens then the forcefulness does not occur and the geopoliticalness does not occur. sent5: if the fascista occurs the fact that not the trussing colored but the predating occurs is incorrect. sent6: the crustaceousness happens and the trussing colored happens if the abdominoplasty does not occur. sent7: that both the paramedicalness and the enfranchisement occurs is caused by that the contumacy does not occur. sent8: if the nonattendance does not occur both the crustaceousness and the trussing colored happens. sent9: that the abdominoplasty happens and/or the nonattendance is caused by the non-crustaceousness. sent10: the fascista but not the chicken occurs if the clubbing does not occur. sent11: that both the crustaceousness and the trussing colored occurs is not correct if the nonattendance does not occur. sent12: the invisibleness happens if the abdominoplasty occurs. sent13: the non-forcefulness brings about that the Secession does not occur and the clubbing does not occur.
void -> assump2: Let's assume that the nonattendance happens.; sent3 & assump2 -> int1: the abdominoplasty happens.; void -> assump1: Let's assume that the abdominoplasty does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the nonattendance does not occur is not incorrect.; sent11 & int3 -> int4: the fact that both the crustaceousness and the trussing colored occurs is not true.; [assump1] & int4 -> hypothesis;
the invisibleness occurs.
sent2 -> int5: that the contumacy does not occur is not incorrect.; sent7 & int5 -> int6: the paramedicalness occurs and the enfranchisement occurs.; int6 -> int7: the paramedicalness happens.; sent4 & int7 -> int8: the non-forcefulness and the non-geopoliticalness occurs.; int8 -> int9: the forcefulness does not occur.; sent13 & int9 -> int10: the Secession does not occur and the clubbing does not occur.; int10 -> int11: the fact that the club does not occur is correct.; sent10 & int11 -> int12: the fascistaness occurs but the chicken does not occur.; int12 -> int13: the fascistaness happens.; sent5 & int13 -> int14: the fact that not the trussing colored but the predating occurs is not true.;
$hypothesis$ = the fact that that the crustaceousness and the trussing colored happens does not hold if that the abdominoplasty does not occur hold does not hold. ; $context$ = sent1: that both the crustaceousness and the trussing colored occurs is not right if the abdominoplasty happens. sent2: not the contumacy but the squintiness happens. sent3: if the nonattendance happens the abdominoplasty occurs. sent4: if the paramedicalness happens then the forcefulness does not occur and the geopoliticalness does not occur. sent5: if the fascista occurs the fact that not the trussing colored but the predating occurs is incorrect. sent6: the crustaceousness happens and the trussing colored happens if the abdominoplasty does not occur. sent7: that both the paramedicalness and the enfranchisement occurs is caused by that the contumacy does not occur. sent8: if the nonattendance does not occur both the crustaceousness and the trussing colored happens. sent9: that the abdominoplasty happens and/or the nonattendance is caused by the non-crustaceousness. sent10: the fascista but not the chicken occurs if the clubbing does not occur. sent11: that both the crustaceousness and the trussing colored occurs is not correct if the nonattendance does not occur. sent12: the invisibleness happens if the abdominoplasty occurs. sent13: the non-forcefulness brings about that the Secession does not occur and the clubbing does not occur. ; $proof$ = 
void -> assump2: Let's assume that the nonattendance happens.; sent3 & assump2 -> int1: the abdominoplasty happens.; void -> assump1: Let's assume that the abdominoplasty does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the nonattendance does not occur is not incorrect.; sent11 & int3 -> int4: the fact that both the crustaceousness and the trussing colored occurs is not true.; [assump1] & int4 -> hypothesis; __DISPROVED__