there exists something such that if it is not lobar then it is resistless.
sent1: something is a kind of a Julian if it does not bayonet Strickland. sent2: there is something such that if it is lobar then it is resistless. sent3: the sallow is resistless if it is not sacramental. sent4: if the Labourite is lobar then it is resistless. sent5: if the Labourite is not resistless it is gubernatorial. sent6: the Labourite is resistless if it is not lobar.
sent6 -> hypothesis;
there exists something such that if it does not bayonet Strickland then it is not non-Julian.
sent1 -> int1: the consomme is Julian if it does not bayonet Strickland.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not lobar then it is resistless. ; $context$ = sent1: something is a kind of a Julian if it does not bayonet Strickland. sent2: there is something such that if it is lobar then it is resistless. sent3: the sallow is resistless if it is not sacramental. sent4: if the Labourite is lobar then it is resistless. sent5: if the Labourite is not resistless it is gubernatorial. sent6: the Labourite is resistless if it is not lobar. ; $proof$ = 
sent6 -> hypothesis; __PROVED__