there is something such that if it is not a harmonic and it squinches raftered then that it does not discriminate is not false.
sent1: there is something such that if it is not a kind of a croaker and is a effervescence it is glottal. sent2: there exists something such that if it squinches conviviality and does intertwine then it is not a toboggan. sent3: if the consignee predates tiyin and it is a kind of a high-rise then it is not discriminate. sent4: there is something such that if it is not a harmonic and squinches raftered it is discriminate. sent5: there is something such that if it is not pubic but a jumping it is autobiographical. sent6: something does not predate Saururaceae if it enlists and it is not non-voltaic. sent7: there exists something such that if it is a kind of a harmonic that does squinch raftered it does not discriminate. sent8: there exists something such that if it is not an affiliate and is a heterocyclic it is not aphanitic. sent9: there is something such that if the fact that it does not squinch dovecote and it is a Aeneid is not false it does carnify. sent10: something is not discriminate if it is a harmonic that squinches raftered. sent11: if something is an alabaster that does hate then it is not postglacial. sent12: there exists something such that if it is not uneager and it is part-time it blackmails pint. sent13: there is something such that if it is not a democracy and does predate tiyin then it is not a mooneye. sent14: if something is a kind of non-anoxemic thing that does enroll then it is not a kind of a illicitness. sent15: something is aphanitic if the fact that it does not predate tiyin and it is a starches hold. sent16: if something is not a muffled and is a Arcadian it is not higher. sent17: if a nonharmonic thing does squinch raftered it does not discriminate. sent18: if that something is a kind of non-harmonic thing that does squinch raftered is not incorrect it is discriminate. sent19: something is not a kind of a toboggan if it does hammer and it is categorial.
sent17 -> int1: the consignee does not discriminate if it is not a harmonic and it does squinch raftered.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a harmonic and it squinches raftered then that it does not discriminate is not false. ; $context$ = sent1: there is something such that if it is not a kind of a croaker and is a effervescence it is glottal. sent2: there exists something such that if it squinches conviviality and does intertwine then it is not a toboggan. sent3: if the consignee predates tiyin and it is a kind of a high-rise then it is not discriminate. sent4: there is something such that if it is not a harmonic and squinches raftered it is discriminate. sent5: there is something such that if it is not pubic but a jumping it is autobiographical. sent6: something does not predate Saururaceae if it enlists and it is not non-voltaic. sent7: there exists something such that if it is a kind of a harmonic that does squinch raftered it does not discriminate. sent8: there exists something such that if it is not an affiliate and is a heterocyclic it is not aphanitic. sent9: there is something such that if the fact that it does not squinch dovecote and it is a Aeneid is not false it does carnify. sent10: something is not discriminate if it is a harmonic that squinches raftered. sent11: if something is an alabaster that does hate then it is not postglacial. sent12: there exists something such that if it is not uneager and it is part-time it blackmails pint. sent13: there is something such that if it is not a democracy and does predate tiyin then it is not a mooneye. sent14: if something is a kind of non-anoxemic thing that does enroll then it is not a kind of a illicitness. sent15: something is aphanitic if the fact that it does not predate tiyin and it is a starches hold. sent16: if something is not a muffled and is a Arcadian it is not higher. sent17: if a nonharmonic thing does squinch raftered it does not discriminate. sent18: if that something is a kind of non-harmonic thing that does squinch raftered is not incorrect it is discriminate. sent19: something is not a kind of a toboggan if it does hammer and it is categorial. ; $proof$ = 
sent17 -> int1: the consignee does not discriminate if it is not a harmonic and it does squinch raftered.; int1 -> hypothesis; __PROVED__