the contouring does not occur.
sent1: if the ecotourism does not occur then both the raising and the messaging happens. sent2: the facilitation occurs. sent3: if the jam happens the emending namer does not occur and the ecotourism does not occur. sent4: the fact that that the timidness does not occur and the parrying does not occur is not false is caused by that the raise occurs. sent5: that the swag does not occur and the nap does not occur is caused by that the parrying does not occur. sent6: the facilitation does not occur if that the decantation but not the gastrointestinalness occurs is not correct. sent7: if that the napping does not occur is right then not the facilitation but the cardiacness happens. sent8: if both the decantation and the non-gastrointestinalness occurs the contour happens. sent9: that the contour happens is prevented by that not the facilitation but the cardiacness happens.
void -> assump1: Let's assume that the fact that the decantation and the non-gastrointestinalness occurs is incorrect.; sent6 & assump1 -> int1: the facilitation does not occur.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the decantation happens and the gastrointestinalness does not occur.; int3 & sent8 -> hypothesis;
the contouring does not occur.
$hypothesis$ = the contouring does not occur. ; $context$ = sent1: if the ecotourism does not occur then both the raising and the messaging happens. sent2: the facilitation occurs. sent3: if the jam happens the emending namer does not occur and the ecotourism does not occur. sent4: the fact that that the timidness does not occur and the parrying does not occur is not false is caused by that the raise occurs. sent5: that the swag does not occur and the nap does not occur is caused by that the parrying does not occur. sent6: the facilitation does not occur if that the decantation but not the gastrointestinalness occurs is not correct. sent7: if that the napping does not occur is right then not the facilitation but the cardiacness happens. sent8: if both the decantation and the non-gastrointestinalness occurs the contour happens. sent9: that the contour happens is prevented by that not the facilitation but the cardiacness happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the decantation and the non-gastrointestinalness occurs is incorrect.; sent6 & assump1 -> int1: the facilitation does not occur.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the decantation happens and the gastrointestinalness does not occur.; int3 & sent8 -> hypothesis; __DISPROVED__