the barring blindness does not occur.
sent1: the sickening C-clamp happens. sent2: that the seasonal occurs and/or the vent does not occur leads to that the gathering Vayu does not occur. sent3: the accordantness leads to the non-romanticness. sent4: if the floriculturalness occurs the sickening C-clamp does not occur and the barring blindness does not occur. sent5: if the sickening C-clamp does not occur and the barring blindness does not occur the warning does not occur. sent6: that the barring blindness does not occur hold if the warning occurs and the sickening C-clamp occurs. sent7: the suborning pecan does not occur. sent8: the non-nonhierarchicalness results in that both the neurobiologicalness and the goading happens. sent9: the fact that if the suborning pecan does not occur the accordantness occurs and/or the suborning Jihadist occurs is correct. sent10: that the imbibing occurs prevents that the superiority does not occur. sent11: that the seasonalness occurs or the venting does not occur or both is caused by that the superiority occurs. sent12: if the plutocraticness does not occur both the hierarchicalness and the gathering grazed occurs. sent13: that the suborning Sheraton occurs leads to that the equestrianness does not occur and the boomeranging does not occur. sent14: if that the neurobiologicalness occurs is not wrong the floriculturalness happens. sent15: that the humoralness occurs but the suborning quartering does not occur prevents that the flexion does not occur. sent16: the suborning quartering happens if both the witch-hunt and the non-romanticness happens. sent17: if that the gathering Vayu does not occur is true the suborning Sheraton and the craps occurs. sent18: the humoralness does not occur. sent19: the humoralness happens if the fact that both the witch-hunt and the non-romanticness happens does not hold. sent20: that the warning happens is brought about by the suborning quartering. sent21: that the plutocraticness occurs is prevented by that the equestrianness does not occur and the boomeranging does not occur.
void -> assump1: Let's assume that that both the witch-hunt and the non-romanticness happens is not right.; sent19 & assump1 -> int1: the humoralness occurs.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: the witch-hunt but not the romantic happens.; int3 & sent16 -> int4: the suborning quartering occurs.; int4 & sent20 -> int5: the warning occurs.; int5 & sent1 -> int6: the warning happens and the sickening C-clamp occurs.; int6 & sent6 -> hypothesis;
the flexion happens.
sent9 & sent7 -> int7: the accordantness occurs and/or the suborning Jihadist happens.;
$hypothesis$ = the barring blindness does not occur. ; $context$ = sent1: the sickening C-clamp happens. sent2: that the seasonal occurs and/or the vent does not occur leads to that the gathering Vayu does not occur. sent3: the accordantness leads to the non-romanticness. sent4: if the floriculturalness occurs the sickening C-clamp does not occur and the barring blindness does not occur. sent5: if the sickening C-clamp does not occur and the barring blindness does not occur the warning does not occur. sent6: that the barring blindness does not occur hold if the warning occurs and the sickening C-clamp occurs. sent7: the suborning pecan does not occur. sent8: the non-nonhierarchicalness results in that both the neurobiologicalness and the goading happens. sent9: the fact that if the suborning pecan does not occur the accordantness occurs and/or the suborning Jihadist occurs is correct. sent10: that the imbibing occurs prevents that the superiority does not occur. sent11: that the seasonalness occurs or the venting does not occur or both is caused by that the superiority occurs. sent12: if the plutocraticness does not occur both the hierarchicalness and the gathering grazed occurs. sent13: that the suborning Sheraton occurs leads to that the equestrianness does not occur and the boomeranging does not occur. sent14: if that the neurobiologicalness occurs is not wrong the floriculturalness happens. sent15: that the humoralness occurs but the suborning quartering does not occur prevents that the flexion does not occur. sent16: the suborning quartering happens if both the witch-hunt and the non-romanticness happens. sent17: if that the gathering Vayu does not occur is true the suborning Sheraton and the craps occurs. sent18: the humoralness does not occur. sent19: the humoralness happens if the fact that both the witch-hunt and the non-romanticness happens does not hold. sent20: that the warning happens is brought about by the suborning quartering. sent21: that the plutocraticness occurs is prevented by that the equestrianness does not occur and the boomeranging does not occur. ; $proof$ = 
void -> assump1: Let's assume that that both the witch-hunt and the non-romanticness happens is not right.; sent19 & assump1 -> int1: the humoralness occurs.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: the witch-hunt but not the romantic happens.; int3 & sent16 -> int4: the suborning quartering occurs.; int4 & sent20 -> int5: the warning occurs.; int5 & sent1 -> int6: the warning happens and the sickening C-clamp occurs.; int6 & sent6 -> hypothesis; __PROVED__