there exists something such that if it does not predate that it does gesticulate dudeen and it beckons inanition is incorrect.
sent1: that the dudeen gesticulates dudeen and it does beckon inanition does not hold if it does not predate. sent2: that the dudeen denies Samoan and it is a diol is not correct if it beckons inanition.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not predate that it does gesticulate dudeen and it beckons inanition is incorrect. ; $context$ = sent1: that the dudeen gesticulates dudeen and it does beckon inanition does not hold if it does not predate. sent2: that the dudeen denies Samoan and it is a diol is not correct if it beckons inanition. ; $proof$ = 
sent1 -> hypothesis; __PROVED__