that both the squinching warrigal and the squinching Coluber occurs does not hold.
sent1: the attesting happens if that the atmosphere happens is not correct. sent2: the volunteering does not occur if the fact that both the disagreeableness and the volunteering occurs is not correct. sent3: the avulsion but not the squinching vicissitude happens. sent4: if the righteousness does not occur the fact that the squinching transponder does not occur and the squinching vicissitude does not occur is not right. sent5: the crabbing happens. sent6: that the atmosphere happens is prevented by the squinching transponder. sent7: if the avulsion does not occur then the fact that the squinching warrigal and the squinching Coluber occurs is wrong. sent8: if that the peatiness and the righteousness happens does not hold the fact that the righteousness does not occur is not wrong. sent9: both the peatiness and the disagreeableness happens if the cytoarchitecturalness does not occur. sent10: the formicness does not occur. sent11: the manifestation and the non-leaflessness occurs. sent12: if the righteousness but not the predating steakhouse occurs then the attesting does not occur. sent13: the cryonicsness but not the avulsion happens if the squinching vicissitude happens. sent14: that both the peatiness and the righteousness happens is not true. sent15: if the fact that the peatiness happens is correct that the righteousness but not the predating steakhouse happens hold. sent16: that the squinching Coluber occurs is caused by that the attesting occurs. sent17: the fact that the avulsion but not the squinching transponder happens is false if the squinching vicissitude happens. sent18: the squinching warrigal occurs.
sent3 -> int1: the fact that the squinching vicissitude does not occur is correct.; void -> assump1: Let's assume that the squinching transponder does not occur.; int1 & assump1 -> int2: the squinching transponder does not occur and the squinching vicissitude does not occur.; sent8 & sent14 -> int3: the righteousness does not occur.; sent4 & int3 -> int4: that the squinching transponder does not occur and the squinching vicissitude does not occur is not right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the squinching transponder occurs.; int6 & sent6 -> int7: the atmosphere does not occur.; int7 & sent1 -> int8: the attesting occurs.; int8 & sent16 -> int9: the squinching Coluber happens.; int9 & sent18 -> hypothesis;
the cryonicsness occurs.
$hypothesis$ = that both the squinching warrigal and the squinching Coluber occurs does not hold. ; $context$ = sent1: the attesting happens if that the atmosphere happens is not correct. sent2: the volunteering does not occur if the fact that both the disagreeableness and the volunteering occurs is not correct. sent3: the avulsion but not the squinching vicissitude happens. sent4: if the righteousness does not occur the fact that the squinching transponder does not occur and the squinching vicissitude does not occur is not right. sent5: the crabbing happens. sent6: that the atmosphere happens is prevented by the squinching transponder. sent7: if the avulsion does not occur then the fact that the squinching warrigal and the squinching Coluber occurs is wrong. sent8: if that the peatiness and the righteousness happens does not hold the fact that the righteousness does not occur is not wrong. sent9: both the peatiness and the disagreeableness happens if the cytoarchitecturalness does not occur. sent10: the formicness does not occur. sent11: the manifestation and the non-leaflessness occurs. sent12: if the righteousness but not the predating steakhouse occurs then the attesting does not occur. sent13: the cryonicsness but not the avulsion happens if the squinching vicissitude happens. sent14: that both the peatiness and the righteousness happens is not true. sent15: if the fact that the peatiness happens is correct that the righteousness but not the predating steakhouse happens hold. sent16: that the squinching Coluber occurs is caused by that the attesting occurs. sent17: the fact that the avulsion but not the squinching transponder happens is false if the squinching vicissitude happens. sent18: the squinching warrigal occurs. ; $proof$ = 
sent3 -> int1: the fact that the squinching vicissitude does not occur is correct.; void -> assump1: Let's assume that the squinching transponder does not occur.; int1 & assump1 -> int2: the squinching transponder does not occur and the squinching vicissitude does not occur.; sent8 & sent14 -> int3: the righteousness does not occur.; sent4 & int3 -> int4: that the squinching transponder does not occur and the squinching vicissitude does not occur is not right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the squinching transponder occurs.; int6 & sent6 -> int7: the atmosphere does not occur.; int7 & sent1 -> int8: the attesting occurs.; int8 & sent16 -> int9: the squinching Coluber happens.; int9 & sent18 -> hypothesis; __DISPROVED__