if the superposition does not occur then the Esseneness does not occur.
sent1: the flintiness and the alkylicness happens. sent2: the fragmenting Finn happens if the sputtering Shetland does not occur. sent3: the convoying Mercury and the Oktoberfest happens. sent4: the fingerlessness causes that the tonguelessness does not occur. sent5: that the compressibleness does not occur is right if the Aether does not occur. sent6: the undesirousness and the fragmenting Finn happens if the sputtering Shetland does not occur. sent7: if the superposition does not occur the Essene happens. sent8: that the nonpregnantness does not occur and the superposition does not occur is incorrect. sent9: the clanking Crohn does not occur and the erythropoieticness does not occur. sent10: the iridicness does not occur. sent11: the clanking stole occurs and the catabolicness occurs. sent12: the fact that the nonpregnantness does not occur but the superposition occurs is false. sent13: both the misrepresentation and the nonpregnantness occurs if the undesirousness does not occur. sent14: the sputtering Shetland does not occur. sent15: if the undesirousness occurs and the nonpregnantness happens that the Essene does not occur hold. sent16: the hobby does not occur if the undoing does not occur. sent17: the cannon does not occur. sent18: the onomasticness does not occur. sent19: the Ping happens and the Shakespearian occurs. sent20: the Esseneness does not occur if the superposition occurs.
void -> assump2: Let's assume that the nonpregnantness does not occur.; void -> assump1: Let's assume that that the superposition does not occur hold.; assump2 & assump1 -> int1: the nonpregnantness does not occur and the superposition does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump2] & int2 -> int3: the nonpregnantness occurs.; sent6 & sent14 -> int4: that both the undesirousness and the fragmenting Finn occurs is correct.; int4 -> int5: the undesirousness occurs.; int3 & int5 -> int6: that both the undesirousness and the nonpregnantness occurs is true.; int6 & sent15 -> int7: the Esseneness does not occur.; [assump1] & int7 -> hypothesis;
both the dissimulating and the misrepresentation occurs.
$hypothesis$ = if the superposition does not occur then the Esseneness does not occur. ; $context$ = sent1: the flintiness and the alkylicness happens. sent2: the fragmenting Finn happens if the sputtering Shetland does not occur. sent3: the convoying Mercury and the Oktoberfest happens. sent4: the fingerlessness causes that the tonguelessness does not occur. sent5: that the compressibleness does not occur is right if the Aether does not occur. sent6: the undesirousness and the fragmenting Finn happens if the sputtering Shetland does not occur. sent7: if the superposition does not occur the Essene happens. sent8: that the nonpregnantness does not occur and the superposition does not occur is incorrect. sent9: the clanking Crohn does not occur and the erythropoieticness does not occur. sent10: the iridicness does not occur. sent11: the clanking stole occurs and the catabolicness occurs. sent12: the fact that the nonpregnantness does not occur but the superposition occurs is false. sent13: both the misrepresentation and the nonpregnantness occurs if the undesirousness does not occur. sent14: the sputtering Shetland does not occur. sent15: if the undesirousness occurs and the nonpregnantness happens that the Essene does not occur hold. sent16: the hobby does not occur if the undoing does not occur. sent17: the cannon does not occur. sent18: the onomasticness does not occur. sent19: the Ping happens and the Shakespearian occurs. sent20: the Esseneness does not occur if the superposition occurs. ; $proof$ = 
void -> assump2: Let's assume that the nonpregnantness does not occur.; void -> assump1: Let's assume that that the superposition does not occur hold.; assump2 & assump1 -> int1: the nonpregnantness does not occur and the superposition does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump2] & int2 -> int3: the nonpregnantness occurs.; sent6 & sent14 -> int4: that both the undesirousness and the fragmenting Finn occurs is correct.; int4 -> int5: the undesirousness occurs.; int3 & int5 -> int6: that both the undesirousness and the nonpregnantness occurs is true.; int6 & sent15 -> int7: the Esseneness does not occur.; [assump1] & int7 -> hypothesis; __PROVED__