the frank does turn Aum.
sent1: the frank does not turn Aum if the sorbent does not turn Aum and it is not binaural. sent2: if the manual is not an outside then the niqab is not an outside. sent3: there is something such that the fact that that it is not cosmopolitan and/or it is mammalian is not false is not correct. sent4: if there is something such that the fact that that it is lactogenic and does crump is not wrong is not right then the catbird is not lactogenic. sent5: if there exists something such that the fact that either it is not a cosmopolitan or it is mammalian or both is not correct then the sorbent is a Hylobatidae. sent6: if the fact that something is not cosmopolitan but mammalian is incorrect it does not turn Aum. sent7: the fact that something is a kind of a Cook that adducts appreciation is right if it is not axial. sent8: if the fact that the sorbent is germy and/or it does not adduct strabismus is incorrect the brotula is not lactogenic. sent9: if the eucalyptus is not a bad and it is not irreducible then the copepod does not scar. sent10: the eucalyptus is not bad and it is not irreducible if the niqab is not an outside. sent11: the fact that the sorbent either is germy or does not adduct strabismus or both is not right. sent12: if that the brotula is binaural and lactogenic does not hold the sorbent is not binaural. sent13: if something is not lactogenic then it is a Hylobatidae and it is binaural. sent14: if the brotula does not turn Aum then that the sorbent is lactogenic and it does crump is not true. sent15: if something is a cosmopolitan then the fact that the brotula is not cosmopolitan but it is mammalian is not true. sent16: if that something is not binaural and/or crumps does not hold it is a Hylobatidae. sent17: if the clipper is a Hylobatidae then the frank does turn Aum. sent18: the manual is not outside. sent19: that the clipper is not binaural and/or it does crump is not true if the brotula is not lactogenic. sent20: the fact that something is nonrepresentative and it turns manual is wrong if that it is a kind of a scar is not correct. sent21: the clipper is cosmopolitan if the frank does adduct appreciation. sent22: if there exists something such that that it is nonrepresentative thing that turns manual is not correct then the frank is not axial.
sent8 & sent11 -> int1: that the brotula is lactogenic is incorrect.; int1 & sent19 -> int2: that the fact that the clipper is not binaural or crumps or both is right is not true.; sent16 -> int3: the clipper is a kind of a Hylobatidae if the fact that it is not binaural and/or it does crump does not hold.; int2 & int3 -> int4: the clipper is a Hylobatidae.; int4 & sent17 -> hypothesis;
the catbird is a Hylobatidae.
sent13 -> int5: if the fact that the catbird is non-lactogenic is right it is a Hylobatidae and is binaural.; sent6 -> int6: that if the fact that the brotula is non-cosmopolitan thing that is mammalian is not true then the brotula does not turn Aum hold.; sent7 -> int7: that the frank is a kind of a Cook that adducts appreciation is not wrong if it is not axial.; sent20 -> int8: the fact that the copepod is nonrepresentative and it turns manual is not correct if it is not a scar.; sent2 & sent18 -> int9: the niqab is not a kind of an outside.; sent10 & int9 -> int10: the eucalyptus is not a bad and it is not irreducible.; sent9 & int10 -> int11: the copepod is not a scar.; int8 & int11 -> int12: the fact that the copepod is not representative and it turns manual is false.; int12 -> int13: there exists something such that that it is nonrepresentative and it does turn manual is not true.; int13 & sent22 -> int14: the frank is not axial.; int7 & int14 -> int15: the frank is a Cook that does adduct appreciation.; int15 -> int16: the frank adducts appreciation.; sent21 & int16 -> int17: the clipper is a cosmopolitan.; int17 -> int18: there are cosmopolitan things.; int18 & sent15 -> int19: that the brotula is a kind of non-cosmopolitan thing that is mammalian is wrong.; int6 & int19 -> int20: the brotula does not turn Aum.; sent14 & int20 -> int21: that the fact that the sorbent is a kind of lactogenic thing that does crump hold is not true.; int21 -> int22: there exists something such that the fact that it is lactogenic and it does crump is wrong.; int22 & sent4 -> int23: the catbird is not lactogenic.; int5 & int23 -> int24: the catbird is a Hylobatidae and is binaural.; int24 -> hypothesis;
$hypothesis$ = the frank does turn Aum. ; $context$ = sent1: the frank does not turn Aum if the sorbent does not turn Aum and it is not binaural. sent2: if the manual is not an outside then the niqab is not an outside. sent3: there is something such that the fact that that it is not cosmopolitan and/or it is mammalian is not false is not correct. sent4: if there is something such that the fact that that it is lactogenic and does crump is not wrong is not right then the catbird is not lactogenic. sent5: if there exists something such that the fact that either it is not a cosmopolitan or it is mammalian or both is not correct then the sorbent is a Hylobatidae. sent6: if the fact that something is not cosmopolitan but mammalian is incorrect it does not turn Aum. sent7: the fact that something is a kind of a Cook that adducts appreciation is right if it is not axial. sent8: if the fact that the sorbent is germy and/or it does not adduct strabismus is incorrect the brotula is not lactogenic. sent9: if the eucalyptus is not a bad and it is not irreducible then the copepod does not scar. sent10: the eucalyptus is not bad and it is not irreducible if the niqab is not an outside. sent11: the fact that the sorbent either is germy or does not adduct strabismus or both is not right. sent12: if that the brotula is binaural and lactogenic does not hold the sorbent is not binaural. sent13: if something is not lactogenic then it is a Hylobatidae and it is binaural. sent14: if the brotula does not turn Aum then that the sorbent is lactogenic and it does crump is not true. sent15: if something is a cosmopolitan then the fact that the brotula is not cosmopolitan but it is mammalian is not true. sent16: if that something is not binaural and/or crumps does not hold it is a Hylobatidae. sent17: if the clipper is a Hylobatidae then the frank does turn Aum. sent18: the manual is not outside. sent19: that the clipper is not binaural and/or it does crump is not true if the brotula is not lactogenic. sent20: the fact that something is nonrepresentative and it turns manual is wrong if that it is a kind of a scar is not correct. sent21: the clipper is cosmopolitan if the frank does adduct appreciation. sent22: if there exists something such that that it is nonrepresentative thing that turns manual is not correct then the frank is not axial. ; $proof$ = 
sent8 & sent11 -> int1: that the brotula is lactogenic is incorrect.; int1 & sent19 -> int2: that the fact that the clipper is not binaural or crumps or both is right is not true.; sent16 -> int3: the clipper is a kind of a Hylobatidae if the fact that it is not binaural and/or it does crump does not hold.; int2 & int3 -> int4: the clipper is a Hylobatidae.; int4 & sent17 -> hypothesis; __PROVED__