there exists something such that if it is not a kind of a Bohemian or is a detergency or both it does not sophisticate presidium.
sent1: there is something such that if it is not Bohemian it does not sophisticate presidium. sent2: something does not sophisticate presidium if it is not a kind of a Bohemian and/or it is a detergency. sent3: there is something such that if it either is not a Bohemian or is a kind of a detergency or both then it does sophisticate presidium.
sent2 -> int1: the root does not sophisticate presidium if it is not Bohemian or a detergency or both.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a Bohemian or is a detergency or both it does not sophisticate presidium. ; $context$ = sent1: there is something such that if it is not Bohemian it does not sophisticate presidium. sent2: something does not sophisticate presidium if it is not a kind of a Bohemian and/or it is a detergency. sent3: there is something such that if it either is not a Bohemian or is a kind of a detergency or both then it does sophisticate presidium. ; $proof$ = 
sent2 -> int1: the root does not sophisticate presidium if it is not Bohemian or a detergency or both.; int1 -> hypothesis; __PROVED__