the emasculation does not occur.
sent1: if the security occurs and the rectifying does not occur the palatoglossalness does not occur. sent2: the unreportableness and the undueness happens. sent3: if the working tatouay does not occur then the bimillenialness does not occur and/or the catechism happens. sent4: the emasculation happens if the bimillenialness does not occur and/or the catechism occurs. sent5: that the working tatouay but not the palatoglossalness occurs does not hold if the undueness happens. sent6: if the plowing happens and the vexing varietal does not occur the consuetude does not occur. sent7: the security but not the rectifying occurs. sent8: the fact that the oversimplification happens is correct. sent9: the working Godard does not occur and/or the Jamesianness happens.
sent1 & sent7 -> int1: the palatoglossalness does not occur.; void -> assump1: Let's assume that the working tatouay occurs.; int1 & assump1 -> int2: both the working tatouay and the non-palatoglossalness occurs.; sent2 -> int3: the fact that the undueness occurs is not incorrect.; sent5 & int3 -> int4: that the working tatouay and the non-palatoglossalness occurs is wrong.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the working tatouay does not occur.; int6 & sent3 -> int7: the non-bimillenialness or the catechism or both happens.; int7 & sent4 -> hypothesis;
$hypothesis$ = the emasculation does not occur. ; $context$ = sent1: if the security occurs and the rectifying does not occur the palatoglossalness does not occur. sent2: the unreportableness and the undueness happens. sent3: if the working tatouay does not occur then the bimillenialness does not occur and/or the catechism happens. sent4: the emasculation happens if the bimillenialness does not occur and/or the catechism occurs. sent5: that the working tatouay but not the palatoglossalness occurs does not hold if the undueness happens. sent6: if the plowing happens and the vexing varietal does not occur the consuetude does not occur. sent7: the security but not the rectifying occurs. sent8: the fact that the oversimplification happens is correct. sent9: the working Godard does not occur and/or the Jamesianness happens. ; $proof$ = 
sent1 & sent7 -> int1: the palatoglossalness does not occur.; void -> assump1: Let's assume that the working tatouay occurs.; int1 & assump1 -> int2: both the working tatouay and the non-palatoglossalness occurs.; sent2 -> int3: the fact that the undueness occurs is not incorrect.; sent5 & int3 -> int4: that the working tatouay and the non-palatoglossalness occurs is wrong.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the working tatouay does not occur.; int6 & sent3 -> int7: the non-bimillenialness or the catechism or both happens.; int7 & sent4 -> hypothesis; __DISPROVED__