the onslaught occurs.
sent1: the onslaught happens if the casing proctology occurs. sent2: the turfing awareness happens and the headstand occurs. sent3: if the anathema occurs then the divaricating pear does not occur and the turfing Lanius does not occur. sent4: the crocheting occurs if the turfing awareness happens. sent5: that the demographicness does not occur triggers that the casing proctology does not occur and the turfing theorist happens. sent6: the non-demographicness is brought about by that the divaricating pear does not occur and the turfing Lanius does not occur. sent7: the casing proctology is brought about by that the crocheting occurs.
sent2 -> int1: the turfing awareness occurs.; sent4 & int1 -> int2: the crocheting happens.; sent7 & int2 -> int3: the fact that the casing proctology happens is not false.; sent1 & int3 -> hypothesis;
the onslaught does not occur.
$hypothesis$ = the onslaught occurs. ; $context$ = sent1: the onslaught happens if the casing proctology occurs. sent2: the turfing awareness happens and the headstand occurs. sent3: if the anathema occurs then the divaricating pear does not occur and the turfing Lanius does not occur. sent4: the crocheting occurs if the turfing awareness happens. sent5: that the demographicness does not occur triggers that the casing proctology does not occur and the turfing theorist happens. sent6: the non-demographicness is brought about by that the divaricating pear does not occur and the turfing Lanius does not occur. sent7: the casing proctology is brought about by that the crocheting occurs. ; $proof$ = 
sent2 -> int1: the turfing awareness occurs.; sent4 & int1 -> int2: the crocheting happens.; sent7 & int2 -> int3: the fact that the casing proctology happens is not false.; sent1 & int3 -> hypothesis; __PROVED__