there exists something such that if the fact that it does not respect dishrag and/or is accordant is false then it is a kind of a hob.
sent1: the universal hobs if that it does not respect dishrag and/or is accordant does not hold. sent2: something does hob if that either it is not a founder or it does respect Trichiuridae or both is incorrect. sent3: there is something such that if either it does not respect dishrag or it is accordant or both then it is a kind of a hob. sent4: there exists something such that if the fact that that it does respect dishrag and/or is accordant hold is wrong it is a kind of a hob.
sent1 -> hypothesis;
the universal does hob if that it does not founder or it does respect Trichiuridae or both does not hold.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it does not respect dishrag and/or is accordant is false then it is a kind of a hob. ; $context$ = sent1: the universal hobs if that it does not respect dishrag and/or is accordant does not hold. sent2: something does hob if that either it is not a founder or it does respect Trichiuridae or both is incorrect. sent3: there is something such that if either it does not respect dishrag or it is accordant or both then it is a kind of a hob. sent4: there exists something such that if the fact that that it does respect dishrag and/or is accordant hold is wrong it is a kind of a hob. ; $proof$ = 
sent1 -> hypothesis; __PROVED__