not the parietalness but the exsiccating toucan happens.
sent1: if the war occurs then the sloganeering does not occur and the three-wheelness does not occur. sent2: the fact that the facelift does not occur is not correct if the chasse occurs. sent3: that the war and the otoplasty occurs is caused by that the indication does not occur. sent4: the exsiccating monotreme occurs. sent5: the presentation does not occur. sent6: both the adverbial and the arbitrariness happens. sent7: if the churning pop-fly does not occur then the fact that the fog occurs and the fornicating occurs does not hold. sent8: that the indication happens is prevented by that the affirmative occurs but the historicalness does not occur. sent9: the facelift or that the exsiccating monotreme occurs or both is triggered by that the presentation does not occur. sent10: the churning pop-fly does not occur if the fact that the Tuscan and/or the mortification happens does not hold. sent11: if the fact that the adverbialness happens is correct then that the chassing does not occur is not right. sent12: the presentation does not occur and the exsiccating toucan occurs. sent13: if the fog does not occur then that the landfall does not occur and the presentation happens is false. sent14: the presentation does not occur if that that the landfall does not occur and the presentation occurs does not hold is not false. sent15: the arbitrariness happens. sent16: that both the non-parietalness and the exsiccating toucan occurs is not correct if the fact that the adverbial does not occur is not incorrect. sent17: that the affirmative does not occur is not right. sent18: if the facelift occurs and the parietalness occurs the fact that the exsiccating monotreme does not occur hold. sent19: if the three-wheelness does not occur then that the Tuscanness and/or the mortification occurs is not true. sent20: the fog does not occur if the fact that both the fog and the fornicating happens is not right.
sent6 -> int1: the adverbial occurs.; int1 & sent11 -> int2: the chasse happens.; int2 & sent2 -> int3: that the facelift happens is not false.; void -> assump1: Let's assume that the parietalness occurs.; int3 & assump1 -> int4: both the facelift and the parietalness occurs.; int4 & sent18 -> int5: the exsiccating monotreme does not occur.; int5 & sent4 -> int6: this is contradiction.; [assump1] & int6 -> int7: the parietalness does not occur.; sent12 -> int8: the exsiccating toucan occurs.; int7 & int8 -> hypothesis;
that the parietalness does not occur and the exsiccating toucan occurs is not true.
$hypothesis$ = not the parietalness but the exsiccating toucan happens. ; $context$ = sent1: if the war occurs then the sloganeering does not occur and the three-wheelness does not occur. sent2: the fact that the facelift does not occur is not correct if the chasse occurs. sent3: that the war and the otoplasty occurs is caused by that the indication does not occur. sent4: the exsiccating monotreme occurs. sent5: the presentation does not occur. sent6: both the adverbial and the arbitrariness happens. sent7: if the churning pop-fly does not occur then the fact that the fog occurs and the fornicating occurs does not hold. sent8: that the indication happens is prevented by that the affirmative occurs but the historicalness does not occur. sent9: the facelift or that the exsiccating monotreme occurs or both is triggered by that the presentation does not occur. sent10: the churning pop-fly does not occur if the fact that the Tuscan and/or the mortification happens does not hold. sent11: if the fact that the adverbialness happens is correct then that the chassing does not occur is not right. sent12: the presentation does not occur and the exsiccating toucan occurs. sent13: if the fog does not occur then that the landfall does not occur and the presentation happens is false. sent14: the presentation does not occur if that that the landfall does not occur and the presentation occurs does not hold is not false. sent15: the arbitrariness happens. sent16: that both the non-parietalness and the exsiccating toucan occurs is not correct if the fact that the adverbial does not occur is not incorrect. sent17: that the affirmative does not occur is not right. sent18: if the facelift occurs and the parietalness occurs the fact that the exsiccating monotreme does not occur hold. sent19: if the three-wheelness does not occur then that the Tuscanness and/or the mortification occurs is not true. sent20: the fog does not occur if the fact that both the fog and the fornicating happens is not right. ; $proof$ = 
sent6 -> int1: the adverbial occurs.; int1 & sent11 -> int2: the chasse happens.; int2 & sent2 -> int3: that the facelift happens is not false.; void -> assump1: Let's assume that the parietalness occurs.; int3 & assump1 -> int4: both the facelift and the parietalness occurs.; int4 & sent18 -> int5: the exsiccating monotreme does not occur.; int5 & sent4 -> int6: this is contradiction.; [assump1] & int6 -> int7: the parietalness does not occur.; sent12 -> int8: the exsiccating toucan occurs.; int7 & int8 -> hypothesis; __PROVED__