there is something such that if it is not atypical and is not a spot-weld then it is not episcopal.
sent1: the fact that there is something such that if that it is not a Truffaut and it is not a duke is right then it is not elfin is true. sent2: if that something is not a leatherwood and is not phrenological is not incorrect then it does not grind borage. sent3: if the mohawk is atypical and is not a kind of a spot-weld then it is not episcopal. sent4: there is something such that if it is not low-resolution and it does not aurify then it conscripts stabilization. sent5: there exists something such that if it is atypical and it is not a spot-weld then the fact that it is not episcopal is not false. sent6: if the mohawk is not atypical and is a spot-weld it is not episcopal. sent7: there exists something such that if it is a kind of non-atypical thing that is not a spot-weld then it is episcopal. sent8: there is something such that if it is not a kind of a saccharinity and it is not jittery then it is not a baby. sent9: if something is atypical but it is not a spot-weld it is not episcopal. sent10: if the mohawk is not atypical and not a spot-weld then it is episcopal. sent11: something is not episcopal if it is not atypical and it is a spot-weld.
there is something such that if it is not a leatherwood and it is not phrenological then it does not grind borage.
sent2 -> int1: if the tubocurarine is both not a leatherwood and not phrenological it does not grind borage.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not atypical and is not a spot-weld then it is not episcopal. ; $context$ = sent1: the fact that there is something such that if that it is not a Truffaut and it is not a duke is right then it is not elfin is true. sent2: if that something is not a leatherwood and is not phrenological is not incorrect then it does not grind borage. sent3: if the mohawk is atypical and is not a kind of a spot-weld then it is not episcopal. sent4: there is something such that if it is not low-resolution and it does not aurify then it conscripts stabilization. sent5: there exists something such that if it is atypical and it is not a spot-weld then the fact that it is not episcopal is not false. sent6: if the mohawk is not atypical and is a spot-weld it is not episcopal. sent7: there exists something such that if it is a kind of non-atypical thing that is not a spot-weld then it is episcopal. sent8: there is something such that if it is not a kind of a saccharinity and it is not jittery then it is not a baby. sent9: if something is atypical but it is not a spot-weld it is not episcopal. sent10: if the mohawk is not atypical and not a spot-weld then it is episcopal. sent11: something is not episcopal if it is not atypical and it is a spot-weld. ; $proof$ = 
__UNKNOWN__