that the jockey does not occur if the hidroticness occurs is not correct.
sent1: that both the hidroticness and the slogging Jassidae occurs prevents that the booking egomaniac occurs. sent2: the fact that the jockey does not occur is right if the embezzlement occurs or the opposableness happens or both. sent3: that the slogging Jassidae does not occur causes the opposableness. sent4: the booking egomaniac happens.
void -> assump2: Let's assume that the hidroticness happens.; void -> assump1: Let's assume that the slogging Jassidae occurs.; assump2 & assump1 -> int1: the hidroticness occurs and the slogging Jassidae happens.; int1 & sent1 -> int2: the booking egomaniac does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the slogging Jassidae does not occur hold.; int4 & sent3 -> int5: the opposableness occurs.; int5 -> int6: the embezzlement happens and/or the opposableness happens.; int6 & sent2 -> int7: the jockey does not occur.; [assump2] & int7 -> hypothesis;
$hypothesis$ = that the jockey does not occur if the hidroticness occurs is not correct. ; $context$ = sent1: that both the hidroticness and the slogging Jassidae occurs prevents that the booking egomaniac occurs. sent2: the fact that the jockey does not occur is right if the embezzlement occurs or the opposableness happens or both. sent3: that the slogging Jassidae does not occur causes the opposableness. sent4: the booking egomaniac happens. ; $proof$ = 
void -> assump2: Let's assume that the hidroticness happens.; void -> assump1: Let's assume that the slogging Jassidae occurs.; assump2 & assump1 -> int1: the hidroticness occurs and the slogging Jassidae happens.; int1 & sent1 -> int2: the booking egomaniac does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the slogging Jassidae does not occur hold.; int4 & sent3 -> int5: the opposableness occurs.; int5 -> int6: the embezzlement happens and/or the opposableness happens.; int6 & sent2 -> int7: the jockey does not occur.; [assump2] & int7 -> hypothesis; __DISPROVED__