that if the photostating Sceliphron happens then the imprisonment does not occur does not hold.
sent1: the ordinalness does not occur. sent2: the solvent happens and the design happens. sent3: if that the solvent occurs is not wrong then the powder happens. sent4: the hummer occurs if the straying occurs. sent5: that the imprisonment does not occur is caused by that the powdering occurs and the counterblow occurs. sent6: the ordinalness does not occur and the photostating Sceliphron does not occur if the counterblow does not occur. sent7: the imprisonment happens if the powder happens and the counterblow occurs. sent8: if the Germanic does not occur the superjacentness does not occur and the expurgation does not occur. sent9: if the fact that the counterblow does not occur is not incorrect then the ordinal does not occur. sent10: the cytogeneticness does not occur and the destabilizing does not occur. sent11: the fact that the imprisonment occurs hold. sent12: the design happens. sent13: the secretarialness does not occur if the uncoiling happens. sent14: the christianness and the disintegration occurs. sent15: if the bonding happens the glow occurs. sent16: the imprisonment happens if the photostating Sceliphron occurs.
void -> assump2: Let's assume that the counterblow does not occur.; sent6 & assump2 -> int1: the ordinal does not occur and the photostating Sceliphron does not occur.; int1 -> int2: the photostating Sceliphron does not occur.; void -> assump1: Let's assume that the photostating Sceliphron happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the counterblow occurs.; sent2 -> int5: the solventness happens.; sent3 & int5 -> int6: the powdering happens.; int4 & int6 -> int7: the powdering and the counterblow happens.; int7 & sent5 -> int8: the imprisonment does not occur.; [assump1] & int8 -> hypothesis;
$hypothesis$ = that if the photostating Sceliphron happens then the imprisonment does not occur does not hold. ; $context$ = sent1: the ordinalness does not occur. sent2: the solvent happens and the design happens. sent3: if that the solvent occurs is not wrong then the powder happens. sent4: the hummer occurs if the straying occurs. sent5: that the imprisonment does not occur is caused by that the powdering occurs and the counterblow occurs. sent6: the ordinalness does not occur and the photostating Sceliphron does not occur if the counterblow does not occur. sent7: the imprisonment happens if the powder happens and the counterblow occurs. sent8: if the Germanic does not occur the superjacentness does not occur and the expurgation does not occur. sent9: if the fact that the counterblow does not occur is not incorrect then the ordinal does not occur. sent10: the cytogeneticness does not occur and the destabilizing does not occur. sent11: the fact that the imprisonment occurs hold. sent12: the design happens. sent13: the secretarialness does not occur if the uncoiling happens. sent14: the christianness and the disintegration occurs. sent15: if the bonding happens the glow occurs. sent16: the imprisonment happens if the photostating Sceliphron occurs. ; $proof$ = 
void -> assump2: Let's assume that the counterblow does not occur.; sent6 & assump2 -> int1: the ordinal does not occur and the photostating Sceliphron does not occur.; int1 -> int2: the photostating Sceliphron does not occur.; void -> assump1: Let's assume that the photostating Sceliphron happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the counterblow occurs.; sent2 -> int5: the solventness happens.; sent3 & int5 -> int6: the powdering happens.; int4 & int6 -> int7: the powdering and the counterblow happens.; int7 & sent5 -> int8: the imprisonment does not occur.; [assump1] & int8 -> hypothesis; __DISPROVED__