that if the fact that the flattering but not the Cenozoicness happens is not incorrect then the skateboarding does not occur is incorrect.
sent1: the fetish does not occur if the skateboarding occurs and the slopping occurs. sent2: the slopping does not occur if not the subjecting ideogram but the fetish happens. sent3: if the flattering and the Cenozoic happens then the skateboarding does not occur. sent4: that the windage does not occur is caused by that both the eviscerating and the Corsicanness occurs. sent5: that the subjecting ideogram and the fetish happens is brought about by that the narrating addax does not occur. sent6: the anathema but not the asteroidalness occurs. sent7: both the depriving Levite and the narrating addax occurs if the seating does not occur. sent8: both the droning and the depriving Thackeray occurs if the blizzard does not occur. sent9: that the seating happens and the depriving Levite does not occur does not hold. sent10: that both the flattering and the non-Cenozoicness happens prevents that the slop does not occur. sent11: that the narrating addax does not occur is correct if that the seating but not the depriving Levite happens is wrong.
void -> assump1: Let's assume that the flattering and the non-Cenozoicness happens.; sent10 & assump1 -> int1: the slopping occurs.; void -> assump2: Let's assume that the skateboarding happens.; int1 & assump2 -> int2: the skateboarding and the slop occurs.; int2 & sent1 -> int3: the fetish does not occur.; sent11 & sent9 -> int4: the narrating addax does not occur.; sent5 & int4 -> int5: the subjecting ideogram and the fetish occurs.; int5 -> int6: the fetish happens.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the skateboarding does not occur.; [assump1] & int8 -> hypothesis;
the bombing does not occur.
$hypothesis$ = that if the fact that the flattering but not the Cenozoicness happens is not incorrect then the skateboarding does not occur is incorrect. ; $context$ = sent1: the fetish does not occur if the skateboarding occurs and the slopping occurs. sent2: the slopping does not occur if not the subjecting ideogram but the fetish happens. sent3: if the flattering and the Cenozoic happens then the skateboarding does not occur. sent4: that the windage does not occur is caused by that both the eviscerating and the Corsicanness occurs. sent5: that the subjecting ideogram and the fetish happens is brought about by that the narrating addax does not occur. sent6: the anathema but not the asteroidalness occurs. sent7: both the depriving Levite and the narrating addax occurs if the seating does not occur. sent8: both the droning and the depriving Thackeray occurs if the blizzard does not occur. sent9: that the seating happens and the depriving Levite does not occur does not hold. sent10: that both the flattering and the non-Cenozoicness happens prevents that the slop does not occur. sent11: that the narrating addax does not occur is correct if that the seating but not the depriving Levite happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the flattering and the non-Cenozoicness happens.; sent10 & assump1 -> int1: the slopping occurs.; void -> assump2: Let's assume that the skateboarding happens.; int1 & assump2 -> int2: the skateboarding and the slop occurs.; int2 & sent1 -> int3: the fetish does not occur.; sent11 & sent9 -> int4: the narrating addax does not occur.; sent5 & int4 -> int5: the subjecting ideogram and the fetish occurs.; int5 -> int6: the fetish happens.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the skateboarding does not occur.; [assump1] & int8 -> hypothesis; __DISPROVED__