the civilianness does not occur.
sent1: the retort does not occur. sent2: the fact that the non-civilness and the non-consubstantialness happens is incorrect if the toxicness occurs. sent3: if the gyration does not occur the Sumerianness does not occur and the upholding preterit happens. sent4: if that not the palatialness but the clinicalness happens is not correct the clinicalness does not occur. sent5: the cawing happens. sent6: the upholding endosperm but not the fruitage happens. sent7: the upholding endosperm happens. sent8: the civilness yields that the criticizing disbandment does not occur and the Shinto happens. sent9: if the criticizing disbandment does not occur then the upholding endosperm and the fruitage happens. sent10: the toxicness happens and the combine happens if the fact that the clinicalness does not occur is not wrong. sent11: if that the Trinidadianness does not occur hold the upholding preterit happens and the gyration occurs. sent12: if the dripping does not occur then the caw happens. sent13: that the dripping occurs prevents that the civilian does not occur. sent14: the non-leastness is triggered by the fact that that both the creedalness and the retarding occurs is not false. sent15: if the Trinidadianness does not occur then the gyration happens. sent16: the Shinto does not occur if that the uncivilness and the non-consubstantialness occurs is not right. sent17: if that the dripping does not occur is true then both the anecdote and the caw happens. sent18: the fact that the gyration occurs is right. sent19: if the retort does not occur that the palatialness does not occur but the clinicalness occurs is not right. sent20: that the Trinidadianness does not occur is triggered by that the upholding endosperm but not the fruitage occurs. sent21: the dispensableness does not occur if the fact that the dripping occurs is correct. sent22: the gyration happens and the Trinidadianness occurs if the upholding endosperm does not occur. sent23: the fact that that the fruitage occurs and the criticizing disbandment does not occur is incorrect is true if the Shintoness does not occur. sent24: if both the Sumerian and the anecdote occurs then the upholding preterit does not occur. sent25: the dripping does not occur. sent26: if that the Sumerianness does not occur is not wrong the civilianness does not occur.
sent17 & sent25 -> int1: both the anecdote and the cawing occurs.; int1 -> int2: the anecdote happens.; void -> assump1: Let's assume that the Sumerian happens.; int2 & assump1 -> int3: the Sumerianness and the anecdote occurs.; int3 & sent24 -> int4: the upholding preterit does not occur.; sent20 & sent6 -> int5: the Trinidadian does not occur.; sent11 & int5 -> int6: the upholding preterit occurs and the gyration occurs.; int6 -> int7: the upholding preterit happens.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Sumerianness does not occur.; int9 & sent26 -> hypothesis;
the civilian occurs.
$hypothesis$ = the civilianness does not occur. ; $context$ = sent1: the retort does not occur. sent2: the fact that the non-civilness and the non-consubstantialness happens is incorrect if the toxicness occurs. sent3: if the gyration does not occur the Sumerianness does not occur and the upholding preterit happens. sent4: if that not the palatialness but the clinicalness happens is not correct the clinicalness does not occur. sent5: the cawing happens. sent6: the upholding endosperm but not the fruitage happens. sent7: the upholding endosperm happens. sent8: the civilness yields that the criticizing disbandment does not occur and the Shinto happens. sent9: if the criticizing disbandment does not occur then the upholding endosperm and the fruitage happens. sent10: the toxicness happens and the combine happens if the fact that the clinicalness does not occur is not wrong. sent11: if that the Trinidadianness does not occur hold the upholding preterit happens and the gyration occurs. sent12: if the dripping does not occur then the caw happens. sent13: that the dripping occurs prevents that the civilian does not occur. sent14: the non-leastness is triggered by the fact that that both the creedalness and the retarding occurs is not false. sent15: if the Trinidadianness does not occur then the gyration happens. sent16: the Shinto does not occur if that the uncivilness and the non-consubstantialness occurs is not right. sent17: if that the dripping does not occur is true then both the anecdote and the caw happens. sent18: the fact that the gyration occurs is right. sent19: if the retort does not occur that the palatialness does not occur but the clinicalness occurs is not right. sent20: that the Trinidadianness does not occur is triggered by that the upholding endosperm but not the fruitage occurs. sent21: the dispensableness does not occur if the fact that the dripping occurs is correct. sent22: the gyration happens and the Trinidadianness occurs if the upholding endosperm does not occur. sent23: the fact that that the fruitage occurs and the criticizing disbandment does not occur is incorrect is true if the Shintoness does not occur. sent24: if both the Sumerian and the anecdote occurs then the upholding preterit does not occur. sent25: the dripping does not occur. sent26: if that the Sumerianness does not occur is not wrong the civilianness does not occur. ; $proof$ = 
sent17 & sent25 -> int1: both the anecdote and the cawing occurs.; int1 -> int2: the anecdote happens.; void -> assump1: Let's assume that the Sumerian happens.; int2 & assump1 -> int3: the Sumerianness and the anecdote occurs.; int3 & sent24 -> int4: the upholding preterit does not occur.; sent20 & sent6 -> int5: the Trinidadian does not occur.; sent11 & int5 -> int6: the upholding preterit occurs and the gyration occurs.; int6 -> int7: the upholding preterit happens.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Sumerianness does not occur.; int9 & sent26 -> hypothesis; __PROVED__