the non-viceregalness and the diet occurs.
sent1: the viceregalness does not occur if the economicsness occurs and the articling settled occurs. sent2: the non-economicsness and the articling settled happens if the corrigibleness does not occur. sent3: that the viceregalness occurs and the diet does not occur is brought about by the incorrigibleness. sent4: if the articling Chlamydosaurus does not occur the exasperation happens. sent5: the exasperation happens. sent6: the articling settled is prevented by that the viceregalness but not the dieting occurs. sent7: the articling propjet does not occur and/or the parsing doodad does not occur. sent8: if the fact that the ungrammaticalness does not occur or the articling Chlamydosaurus does not occur or both is wrong then the economicsness happens. sent9: if that the non-Malaysianess or the non-driness or both occurs is incorrect the parsing vetchworm occurs. sent10: the corrigibleness does not occur if the fact that both the barratry and the corrigibleness occurs is incorrect. sent11: that the articling Chlamydosaurus does not occur brings about that the exasperation does not occur. sent12: the diet happens. sent13: that the non-viceregalness and the diet happens is not true if that that the ungrammaticalness occurs is not correct hold. sent14: that the articling settled occurs hold.
either the articling Tachypleus does not occur or the beautification does not occur or both.
$hypothesis$ = the non-viceregalness and the diet occurs. ; $context$ = sent1: the viceregalness does not occur if the economicsness occurs and the articling settled occurs. sent2: the non-economicsness and the articling settled happens if the corrigibleness does not occur. sent3: that the viceregalness occurs and the diet does not occur is brought about by the incorrigibleness. sent4: if the articling Chlamydosaurus does not occur the exasperation happens. sent5: the exasperation happens. sent6: the articling settled is prevented by that the viceregalness but not the dieting occurs. sent7: the articling propjet does not occur and/or the parsing doodad does not occur. sent8: if the fact that the ungrammaticalness does not occur or the articling Chlamydosaurus does not occur or both is wrong then the economicsness happens. sent9: if that the non-Malaysianess or the non-driness or both occurs is incorrect the parsing vetchworm occurs. sent10: the corrigibleness does not occur if the fact that both the barratry and the corrigibleness occurs is incorrect. sent11: that the articling Chlamydosaurus does not occur brings about that the exasperation does not occur. sent12: the diet happens. sent13: that the non-viceregalness and the diet happens is not true if that that the ungrammaticalness occurs is not correct hold. sent14: that the articling settled occurs hold. ; $proof$ = 
__UNKNOWN__