there exists something such that if it is not a granadillo it is not unclean and it does not surmise crapette.
sent1: there exists something such that if that it is a nympholept does not hold it does not equal and it does not outstare obliviousness. sent2: something is unclean but it does not surmise crapette if it is not a granadillo. sent3: there is something such that if it is not a granadillo then it is unclean thing that does not surmise crapette. sent4: there is something such that if it is not a granadillo then it does not surmise crapette. sent5: there is something such that if it is a kind of a granadillo then it is not unclean and it does not surmise crapette. sent6: something does not surmise crapette if it is not a granadillo. sent7: if something does not come tollbooth then it does not restrain bigheaded and does not restrain Atherinidae. sent8: something is not unclean and it does not surmise crapette if it is a granadillo. sent9: if the astrogator does not outstare Monet then it is not a cragsman and it is not a 401-k. sent10: the astrogator does not surmise crapette if it is not a granadillo. sent11: if something is not a granadillo then it is not unclean and does not surmise crapette. sent12: the astrogator is a kind of non-unclean thing that does not surmise crapette if it is a granadillo. sent13: something is not a France and does not outstare mythology if it does breed.
sent11 -> int1: if the astrogator is not a kind of a granadillo it is not unclean and does not surmise crapette.; int1 -> hypothesis;
there is something such that if it does not come tollbooth it does not restrain bigheaded and does not restrain Atherinidae.
sent7 -> int2: the nitrofuran does not restrain bigheaded and it does not restrain Atherinidae if that it does not come tollbooth hold.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a granadillo it is not unclean and it does not surmise crapette. ; $context$ = sent1: there exists something such that if that it is a nympholept does not hold it does not equal and it does not outstare obliviousness. sent2: something is unclean but it does not surmise crapette if it is not a granadillo. sent3: there is something such that if it is not a granadillo then it is unclean thing that does not surmise crapette. sent4: there is something such that if it is not a granadillo then it does not surmise crapette. sent5: there is something such that if it is a kind of a granadillo then it is not unclean and it does not surmise crapette. sent6: something does not surmise crapette if it is not a granadillo. sent7: if something does not come tollbooth then it does not restrain bigheaded and does not restrain Atherinidae. sent8: something is not unclean and it does not surmise crapette if it is a granadillo. sent9: if the astrogator does not outstare Monet then it is not a cragsman and it is not a 401-k. sent10: the astrogator does not surmise crapette if it is not a granadillo. sent11: if something is not a granadillo then it is not unclean and does not surmise crapette. sent12: the astrogator is a kind of non-unclean thing that does not surmise crapette if it is a granadillo. sent13: something is not a France and does not outstare mythology if it does breed. ; $proof$ = 
sent11 -> int1: if the astrogator is not a kind of a granadillo it is not unclean and does not surmise crapette.; int1 -> hypothesis; __PROVED__