the digitalness does not occur.
sent1: the campfire occurs and the protesting tramcar happens. sent2: the digitalness is prevented by that the uncommunicativeness occurs and the unperceptiveness occurs. sent3: the biblioticness does not occur. sent4: the unperceptiveness does not occur if the destalinizing Banjul does not occur. sent5: if the unperceptiveness does not occur the cytokineticness happens and/or the uncommunicativeness does not occur. sent6: the vestiariness happens and the cytokineticness happens. sent7: the uncommunicativeness occurs if the cytokineticness happens. sent8: that the destalinizing Banjul occurs and the unperceptiveness happens is brought about by the non-biblioticness. sent9: the attack occurs.
sent6 -> int1: the cytokineticness happens.; int1 & sent7 -> int2: the uncommunicativeness occurs.; sent8 & sent3 -> int3: the destalinizing Banjul happens and the unperceptiveness occurs.; int3 -> int4: the unperceptiveness occurs.; int2 & int4 -> int5: the uncommunicativeness occurs and the unperceptiveness happens.; int5 & sent2 -> hypothesis;
the digitalness occurs.
$hypothesis$ = the digitalness does not occur. ; $context$ = sent1: the campfire occurs and the protesting tramcar happens. sent2: the digitalness is prevented by that the uncommunicativeness occurs and the unperceptiveness occurs. sent3: the biblioticness does not occur. sent4: the unperceptiveness does not occur if the destalinizing Banjul does not occur. sent5: if the unperceptiveness does not occur the cytokineticness happens and/or the uncommunicativeness does not occur. sent6: the vestiariness happens and the cytokineticness happens. sent7: the uncommunicativeness occurs if the cytokineticness happens. sent8: that the destalinizing Banjul occurs and the unperceptiveness happens is brought about by the non-biblioticness. sent9: the attack occurs. ; $proof$ = 
sent6 -> int1: the cytokineticness happens.; int1 & sent7 -> int2: the uncommunicativeness occurs.; sent8 & sent3 -> int3: the destalinizing Banjul happens and the unperceptiveness occurs.; int3 -> int4: the unperceptiveness occurs.; int2 & int4 -> int5: the uncommunicativeness occurs and the unperceptiveness happens.; int5 & sent2 -> hypothesis; __PROVED__