the corporealness does not occur and the myotomy does not occur.
sent1: if the interfering disorderliness does not occur then that the Carolingianness happens and the myotomy happens is not correct. sent2: the fact that the cholelithotomy occurs is wrong if the peroration happens and the corporealness occurs. sent3: the engendering and the intensification occurs. sent4: the trampling does not occur and the interfering disorderliness does not occur if the sectorialness happens. sent5: that the corporealness does not occur and the myotomy does not occur is not right if the peroration does not occur. sent6: the fact that the bombing and the deep occurs is false. sent7: if that the Carolingian occurs and the myotomy happens is incorrect then the myotomy does not occur. sent8: the vaccination does not occur. sent9: the trampling does not occur. sent10: the dwarfing Azeri does not occur. sent11: the sectorialness occurs. sent12: the forgetfulness occurs. sent13: the campaign does not occur and the abruption does not occur. sent14: the trample does not occur if the sectorialness occurs. sent15: that the Easter happens triggers that the escorting stickiness does not occur and the dot does not occur. sent16: that the peroration happens is not wrong. sent17: the propagating occurs.
void -> assump1: Let's assume that the corporealness happens.; sent16 & assump1 -> int1: both the peroration and the corporealness happens.; int1 & sent2 -> int2: the cholelithotomy does not occur.; sent4 & sent11 -> int3: the trampling does not occur and the interfering disorderliness does not occur.; int3 -> int4: the fact that the interfering disorderliness does not occur is not wrong.; sent1 & int4 -> int5: the fact that that the Carolingian happens and the myotomy happens is wrong is correct.; sent7 & int5 -> int6: the myotomy does not occur.;
the fact that the corporealness does not occur and the myotomy does not occur is not true.
$hypothesis$ = the corporealness does not occur and the myotomy does not occur. ; $context$ = sent1: if the interfering disorderliness does not occur then that the Carolingianness happens and the myotomy happens is not correct. sent2: the fact that the cholelithotomy occurs is wrong if the peroration happens and the corporealness occurs. sent3: the engendering and the intensification occurs. sent4: the trampling does not occur and the interfering disorderliness does not occur if the sectorialness happens. sent5: that the corporealness does not occur and the myotomy does not occur is not right if the peroration does not occur. sent6: the fact that the bombing and the deep occurs is false. sent7: if that the Carolingian occurs and the myotomy happens is incorrect then the myotomy does not occur. sent8: the vaccination does not occur. sent9: the trampling does not occur. sent10: the dwarfing Azeri does not occur. sent11: the sectorialness occurs. sent12: the forgetfulness occurs. sent13: the campaign does not occur and the abruption does not occur. sent14: the trample does not occur if the sectorialness occurs. sent15: that the Easter happens triggers that the escorting stickiness does not occur and the dot does not occur. sent16: that the peroration happens is not wrong. sent17: the propagating occurs. ; $proof$ = 
void -> assump1: Let's assume that the corporealness happens.; sent16 & assump1 -> int1: both the peroration and the corporealness happens.; int1 & sent2 -> int2: the cholelithotomy does not occur.; sent4 & sent11 -> int3: the trampling does not occur and the interfering disorderliness does not occur.; int3 -> int4: the fact that the interfering disorderliness does not occur is not wrong.; sent1 & int4 -> int5: the fact that that the Carolingian happens and the myotomy happens is wrong is correct.; sent7 & int5 -> int6: the myotomy does not occur.; __UNKNOWN__