there exists something such that if that it is not a kind of a vowel and it does not dump frijol does not hold then it does not refresh defecation.
sent1: something is a kind of a Aruru if that it does not refresh skink and it is not a clavicle does not hold. sent2: the defecation is not a Cynara if that it does not refresh defecation and it is a Siouan does not hold. sent3: there is something such that if it is not a vowel and it does not dump frijol it does not refresh defecation. sent4: the defecation refreshes defecation if the fact that it is not a vowel and it does not dump frijol is false. sent5: there is something such that if the fact that it does not greet Burhinidae is not correct it is not a halloo. sent6: that the defecation does not refresh defecation is not false if it does dump frijol. sent7: if something does dump frijol then that it does not refresh defecation is correct. sent8: if that something is not a kind of a vowel and it does not dump frijol is not true it does refresh defecation. sent9: there exists something such that if it dumps frijol it does not refresh defecation. sent10: there is something such that if that the fact that it does not refresh allies and is not a DISA hold is not correct then it is non-scopal. sent11: the defecation does not refresh defecation if that it is a vowel and it does not dump frijol is not true. sent12: the defecation does not refresh defecation if it is not a vowel and does not dump frijol. sent13: there exists something such that if the fact that it is not a kind of a vowel and does not dump frijol is not correct it refreshes defecation. sent14: something does not greet evolutionist if the fact that it is not continual and is not a kind of a moralism does not hold. sent15: something is not canonic if that it does not refresh defecation and it is not sublunar is wrong. sent16: if that something is not a kind of a vowel and it does not dump frijol does not hold then it does not refresh defecation. sent17: something is not a elasmobranch if it is a DISA. sent18: something does not refresh defecation if it is not a kind of a vowel and does not dump frijol. sent19: that if the fact that the defecation does not dump frijol and is not refractive is not correct the defecation is intemperate is true. sent20: there is something such that if that it does not dump Basel and is not a thoughtfulness does not hold it is a tux. sent21: there exists something such that if that it is not sublunar and it does not list Capricorn is wrong it is a kind of a chewer.
sent16 -> int1: if that the defecation is not a vowel and it does not dump frijol is not correct then it does not refresh defecation.; int1 -> hypothesis;
if that the abomination does not refresh defecation and it is not sublunar is not true then it is non-canonic.
sent15 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a kind of a vowel and it does not dump frijol does not hold then it does not refresh defecation. ; $context$ = sent1: something is a kind of a Aruru if that it does not refresh skink and it is not a clavicle does not hold. sent2: the defecation is not a Cynara if that it does not refresh defecation and it is a Siouan does not hold. sent3: there is something such that if it is not a vowel and it does not dump frijol it does not refresh defecation. sent4: the defecation refreshes defecation if the fact that it is not a vowel and it does not dump frijol is false. sent5: there is something such that if the fact that it does not greet Burhinidae is not correct it is not a halloo. sent6: that the defecation does not refresh defecation is not false if it does dump frijol. sent7: if something does dump frijol then that it does not refresh defecation is correct. sent8: if that something is not a kind of a vowel and it does not dump frijol is not true it does refresh defecation. sent9: there exists something such that if it dumps frijol it does not refresh defecation. sent10: there is something such that if that the fact that it does not refresh allies and is not a DISA hold is not correct then it is non-scopal. sent11: the defecation does not refresh defecation if that it is a vowel and it does not dump frijol is not true. sent12: the defecation does not refresh defecation if it is not a vowel and does not dump frijol. sent13: there exists something such that if the fact that it is not a kind of a vowel and does not dump frijol is not correct it refreshes defecation. sent14: something does not greet evolutionist if the fact that it is not continual and is not a kind of a moralism does not hold. sent15: something is not canonic if that it does not refresh defecation and it is not sublunar is wrong. sent16: if that something is not a kind of a vowel and it does not dump frijol does not hold then it does not refresh defecation. sent17: something is not a elasmobranch if it is a DISA. sent18: something does not refresh defecation if it is not a kind of a vowel and does not dump frijol. sent19: that if the fact that the defecation does not dump frijol and is not refractive is not correct the defecation is intemperate is true. sent20: there is something such that if that it does not dump Basel and is not a thoughtfulness does not hold it is a tux. sent21: there exists something such that if that it is not sublunar and it does not list Capricorn is wrong it is a kind of a chewer. ; $proof$ = 
sent16 -> int1: if that the defecation is not a vowel and it does not dump frijol is not correct then it does not refresh defecation.; int1 -> hypothesis; __PROVED__