the fact that both the queuing Greenville and the symmetrizing happens is false.
sent1: the fact that the queuing annulment does not occur is correct if that the pullback but not the deputation occurs is incorrect. sent2: if the nim does not occur the fact that the pullback and the deputation occurs is false. sent3: that the blinkering vowel but not the blinkering urtication happens is false if the epiphany does not occur. sent4: the fact that the pullback but not the deputation occurs does not hold if the nim does not occur. sent5: the redundancy happens if the Jacobean happens. sent6: both the destining and the wailing happens if the instrumenting does not occur. sent7: that the junketing does not occur causes that the open occurs and the ambling happens. sent8: the instrumenting does not occur. sent9: the nim does not occur if both the redundancy and the wailing occurs. sent10: that both the telegraphicness and the painfulness occurs is incorrect. sent11: that the blinkering mercenary and the streptococcalness happens is false. sent12: the anecdotalness happens. sent13: the Jacobean does not occur. sent14: that the redundancy occurs hold if that the Jacobean does not occur and the knotting signboard occurs is false. sent15: that that the celibacy but not the piracy occurs is not right is not false. sent16: the queuing annulment does not occur if the deputation happens. sent17: the knotting signboard does not occur. sent18: that the anecdotalness occurs prevents the wrecking.
void -> assump1: Let's assume that the Jacobean does not occur and the knotting signboard happens.; assump1 -> int1: the knotting signboard happens.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the Jacobeanness but the knotting signboard happens does not hold.; int3 & sent14 -> int4: the redundancy happens.; sent6 & sent8 -> int5: the destining occurs and the wailing happens.; int5 -> int6: the wailing happens.; int4 & int6 -> int7: the redundancy occurs and the wailing happens.; int7 & sent9 -> int8: the nim does not occur.; int8 & sent4 -> int9: the fact that the pullback happens but the deputation does not occur is not correct.; int9 & sent1 -> int10: the queuing annulment does not occur.;
$hypothesis$ = the fact that both the queuing Greenville and the symmetrizing happens is false. ; $context$ = sent1: the fact that the queuing annulment does not occur is correct if that the pullback but not the deputation occurs is incorrect. sent2: if the nim does not occur the fact that the pullback and the deputation occurs is false. sent3: that the blinkering vowel but not the blinkering urtication happens is false if the epiphany does not occur. sent4: the fact that the pullback but not the deputation occurs does not hold if the nim does not occur. sent5: the redundancy happens if the Jacobean happens. sent6: both the destining and the wailing happens if the instrumenting does not occur. sent7: that the junketing does not occur causes that the open occurs and the ambling happens. sent8: the instrumenting does not occur. sent9: the nim does not occur if both the redundancy and the wailing occurs. sent10: that both the telegraphicness and the painfulness occurs is incorrect. sent11: that the blinkering mercenary and the streptococcalness happens is false. sent12: the anecdotalness happens. sent13: the Jacobean does not occur. sent14: that the redundancy occurs hold if that the Jacobean does not occur and the knotting signboard occurs is false. sent15: that that the celibacy but not the piracy occurs is not right is not false. sent16: the queuing annulment does not occur if the deputation happens. sent17: the knotting signboard does not occur. sent18: that the anecdotalness occurs prevents the wrecking. ; $proof$ = 
void -> assump1: Let's assume that the Jacobean does not occur and the knotting signboard happens.; assump1 -> int1: the knotting signboard happens.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the Jacobeanness but the knotting signboard happens does not hold.; int3 & sent14 -> int4: the redundancy happens.; sent6 & sent8 -> int5: the destining occurs and the wailing happens.; int5 -> int6: the wailing happens.; int4 & int6 -> int7: the redundancy occurs and the wailing happens.; int7 & sent9 -> int8: the nim does not occur.; int8 & sent4 -> int9: the fact that the pullback happens but the deputation does not occur is not correct.; int9 & sent1 -> int10: the queuing annulment does not occur.; __UNKNOWN__