there exists something such that if it is not incongruent and reacts it is a conic.
sent1: if something that detrains Serer agonizes it does decamp. sent2: there is something such that if it does heel mescaline and it is Puranic then it heels Passifloraceae. sent3: if something is not anemometric but it is a meridian then it detrains superoxide. sent4: a freight that is a bandbox does note. sent5: the integrator is abstemious if it is not incongruent and it does bubble. sent6: if something is anemometric thing that does forage Hmong it is a hammerlock. sent7: if the fact that something is a kind of apetalous a Europeanization is not incorrect then it is an exposition. sent8: the integrator is a kind of a Oscan if it is not a conic and does card. sent9: if something is enthusiastic and does heel mescaline then the fact that it is inclusive is correct. sent10: there is something such that if it is incongruent and it does react then it is a kind of a conic. sent11: if something that melds is conscious it is a Oscan. sent12: the integrator is a hammerlock if it is nonproprietary and is a kind of a lantern-fly. sent13: there exists something such that if it is not a spare and it is a kind of a Lappic then it is a kind of a meridian. sent14: something that is a kind of congruent thing that does react is a kind of a conic. sent15: if the integrator is not incongruent but it is an audible it heels lament. sent16: the kinsman satiates if it is not Gregorian and it reacts. sent17: if the integrator is incongruent and it is hyperbolic then it is a Albatrellus. sent18: the fact that there exists something such that if it is not a magnetite and it is a kind of an emphysema the fact that it is a cast is right is not false. sent19: there exists something such that if it is opisthognathous and behaves then it is nonproprietary.
sent14 -> int1: the integrator is conic if it is not incongruent and it does react.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not incongruent and reacts it is a conic. ; $context$ = sent1: if something that detrains Serer agonizes it does decamp. sent2: there is something such that if it does heel mescaline and it is Puranic then it heels Passifloraceae. sent3: if something is not anemometric but it is a meridian then it detrains superoxide. sent4: a freight that is a bandbox does note. sent5: the integrator is abstemious if it is not incongruent and it does bubble. sent6: if something is anemometric thing that does forage Hmong it is a hammerlock. sent7: if the fact that something is a kind of apetalous a Europeanization is not incorrect then it is an exposition. sent8: the integrator is a kind of a Oscan if it is not a conic and does card. sent9: if something is enthusiastic and does heel mescaline then the fact that it is inclusive is correct. sent10: there is something such that if it is incongruent and it does react then it is a kind of a conic. sent11: if something that melds is conscious it is a Oscan. sent12: the integrator is a hammerlock if it is nonproprietary and is a kind of a lantern-fly. sent13: there exists something such that if it is not a spare and it is a kind of a Lappic then it is a kind of a meridian. sent14: something that is a kind of congruent thing that does react is a kind of a conic. sent15: if the integrator is not incongruent but it is an audible it heels lament. sent16: the kinsman satiates if it is not Gregorian and it reacts. sent17: if the integrator is incongruent and it is hyperbolic then it is a Albatrellus. sent18: the fact that there exists something such that if it is not a magnetite and it is a kind of an emphysema the fact that it is a cast is right is not false. sent19: there exists something such that if it is opisthognathous and behaves then it is nonproprietary. ; $proof$ = 
sent14 -> int1: the integrator is conic if it is not incongruent and it does react.; int1 -> hypothesis; __PROVED__