there exists something such that if it does not traffic hammock that it does not determine picket and/or is not asymmetrical does not hold.
sent1: the hammock dogmatizes docket if it does not traffic hammock. sent2: there exists something such that if it does not traffic hammock then the fact that it is asymmetrical is correct. sent3: the fact that something does not chap and/or does not determine Guaiacum does not hold if it is not a kind of a Jespersen. sent4: if the hammock does not traffic hammock then that it does not determine picket or it is not asymmetrical or both is not true.
sent4 -> hypothesis;
there is something such that if it is not a Jespersen that either it does not chap or it does not determine Guaiacum or both is incorrect.
sent3 -> int1: if the picket is not a Jespersen that that it is not a chap or it does not determine Guaiacum or both is not wrong is not correct.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not traffic hammock that it does not determine picket and/or is not asymmetrical does not hold. ; $context$ = sent1: the hammock dogmatizes docket if it does not traffic hammock. sent2: there exists something such that if it does not traffic hammock then the fact that it is asymmetrical is correct. sent3: the fact that something does not chap and/or does not determine Guaiacum does not hold if it is not a kind of a Jespersen. sent4: if the hammock does not traffic hammock then that it does not determine picket or it is not asymmetrical or both is not true. ; $proof$ = 
sent4 -> hypothesis; __PROVED__