there is something such that if it does parade the fact that it is an irrationality hold.
sent1: the ocean is an irrationality if it is a parade. sent2: something dims if it is descriptive.
sent1 -> hypothesis;
there is something such that if the fact that it is descriptive hold it dims.
sent2 -> int1: if the zidovudine is descriptive then it is dim.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does parade the fact that it is an irrationality hold. ; $context$ = sent1: the ocean is an irrationality if it is a parade. sent2: something dims if it is descriptive. ; $proof$ = 
sent1 -> hypothesis; __PROVED__