the editorialness occurs.
sent1: the revocation occurs. sent2: that the restraining landscape happens or the drooping does not occur or both is brought about by the non-Churchillianness. sent3: the Gambianness does not occur if that the Gambianness happens and the account happens is not true. sent4: that the accounting occurs but the outstaring crown-of-the-field does not occur is incorrect if the Gambianness occurs. sent5: that the surmising graphologist happens and the surmising rhodopsin does not occur does not hold. sent6: the Gambian happens if the outstaring procurement does not occur. sent7: the revocation or the outstaring procurement or both happens if the Gambianness does not occur. sent8: that the editorialness happens is triggered by that the concession but not the revocation happens. sent9: that the outstaring crown-of-the-field does not occur but the accounting occurs is caused by that the surmising rhodopsin does not occur. sent10: if that the account occurs and the outstaring crown-of-the-field does not occur is incorrect then the editorialness does not occur. sent11: the outstaring procurement does not occur if that the concession does not occur and the revocation does not occur is not true. sent12: if the restraining cytologist does not occur the editorialness happens and/or the surmising rhodopsin does not occur. sent13: the fact that the flick happens and the waltz does not occur is not true if the concession occurs. sent14: if the restraining sucrose does not occur the restraining cytologist does not occur and the tramontane does not occur.
void -> assump1: Let's assume that the concession does not occur and the revocation does not occur.; assump1 -> int1: the revocation does not occur.; sent1 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the concession does not occur and the revocation does not occur is false.; sent11 & int3 -> int4: the outstaring procurement does not occur.; sent6 & int4 -> int5: the Gambianness happens.; sent4 & int5 -> int6: the fact that the accounting but not the outstaring crown-of-the-field occurs does not hold.; sent10 & int6 -> hypothesis;
that the fact that the flick happens and the waltz does not occur is wrong hold.
$hypothesis$ = the editorialness occurs. ; $context$ = sent1: the revocation occurs. sent2: that the restraining landscape happens or the drooping does not occur or both is brought about by the non-Churchillianness. sent3: the Gambianness does not occur if that the Gambianness happens and the account happens is not true. sent4: that the accounting occurs but the outstaring crown-of-the-field does not occur is incorrect if the Gambianness occurs. sent5: that the surmising graphologist happens and the surmising rhodopsin does not occur does not hold. sent6: the Gambian happens if the outstaring procurement does not occur. sent7: the revocation or the outstaring procurement or both happens if the Gambianness does not occur. sent8: that the editorialness happens is triggered by that the concession but not the revocation happens. sent9: that the outstaring crown-of-the-field does not occur but the accounting occurs is caused by that the surmising rhodopsin does not occur. sent10: if that the account occurs and the outstaring crown-of-the-field does not occur is incorrect then the editorialness does not occur. sent11: the outstaring procurement does not occur if that the concession does not occur and the revocation does not occur is not true. sent12: if the restraining cytologist does not occur the editorialness happens and/or the surmising rhodopsin does not occur. sent13: the fact that the flick happens and the waltz does not occur is not true if the concession occurs. sent14: if the restraining sucrose does not occur the restraining cytologist does not occur and the tramontane does not occur. ; $proof$ = 
void -> assump1: Let's assume that the concession does not occur and the revocation does not occur.; assump1 -> int1: the revocation does not occur.; sent1 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the concession does not occur and the revocation does not occur is false.; sent11 & int3 -> int4: the outstaring procurement does not occur.; sent6 & int4 -> int5: the Gambianness happens.; sent4 & int5 -> int6: the fact that the accounting but not the outstaring crown-of-the-field occurs does not hold.; sent10 & int6 -> hypothesis; __DISPROVED__