the encircling does not occur.
sent1: the non-Guineanness yields either that the transmutation occurs or the disinfestation or both. sent2: if the encircling and the vice occurs the transmutation does not occur. sent3: the fact that either the ensnaring does not occur or the chomping Aramus does not occur or both does not hold if the pontificating does not occur. sent4: if that that the vice but not the encircling occurs is not false does not hold the encircling happens. sent5: the disinfestation happens. sent6: the wholesomeness happens if that the fact that the ensnaring does not occur and/or the chomping Aramus does not occur is not incorrect is wrong. sent7: the non-Guineanness is triggered by that the cockney does not occur and the cricket does not occur. sent8: the vice occurs. sent9: the cockneiness happens and the cricket does not occur if the wholesomeness happens. sent10: the transmutation and the disinfestation occurs if the Guineanness does not occur. sent11: the Guineanness is prevented by that the cockney but not the cricketing occurs. sent12: if the vice does not occur then the surveying occurs and the encircling happens.
void -> assump1: Let's assume that the encircling occurs.; assump1 & sent8 -> int1: both the encircling and the vice happens.; int1 & sent2 -> int2: the transmutation does not occur.;
the fact that the encircling occurs is true.
$hypothesis$ = the encircling does not occur. ; $context$ = sent1: the non-Guineanness yields either that the transmutation occurs or the disinfestation or both. sent2: if the encircling and the vice occurs the transmutation does not occur. sent3: the fact that either the ensnaring does not occur or the chomping Aramus does not occur or both does not hold if the pontificating does not occur. sent4: if that that the vice but not the encircling occurs is not false does not hold the encircling happens. sent5: the disinfestation happens. sent6: the wholesomeness happens if that the fact that the ensnaring does not occur and/or the chomping Aramus does not occur is not incorrect is wrong. sent7: the non-Guineanness is triggered by that the cockney does not occur and the cricket does not occur. sent8: the vice occurs. sent9: the cockneiness happens and the cricket does not occur if the wholesomeness happens. sent10: the transmutation and the disinfestation occurs if the Guineanness does not occur. sent11: the Guineanness is prevented by that the cockney but not the cricketing occurs. sent12: if the vice does not occur then the surveying occurs and the encircling happens. ; $proof$ = 
void -> assump1: Let's assume that the encircling occurs.; assump1 & sent8 -> int1: both the encircling and the vice happens.; int1 & sent2 -> int2: the transmutation does not occur.; __UNKNOWN__