the fact that the socle is Anglophilic and it squires concessionaire is not right.
sent1: the kleptomaniac is not a kind of a capillary. sent2: if the Sennenhunde is not patronymic or it squires pinched or both then the kleptomaniac is not a patronymic. sent3: the metoprolol is indulgent. sent4: a capillary is not Hemingwayesque. sent5: the mafioso is Hemingwayesque if the placental is not a kind of a patronymic and/or it is Hemingwayesque. sent6: if that the kleptomaniac is not a kind of a patronymic is not incorrect then the socle is Anglophilic and a capillary. sent7: the fact that the socle is both a lumbering and Jurassic is not right. sent8: if the kleptomaniac is not capillary the socle is capillary. sent9: the placental is not a patronymic. sent10: that the fact that the kleptomaniac does study acromion and is Anglophilic is not incorrect is not right. sent11: the fact that something is Anglophilic and does squire concessionaire is incorrect if that it is not Hemingwayesque is right. sent12: if there exists something such that it is not capillary the kleptomaniac does not squire concessionaire. sent13: the fact that the mafioso studies forty-niner hold. sent14: if the fact that something is Anglophilic and it is a capillary is incorrect then it is not capillary. sent15: if something is not a pachyderm then the fact that it metabolizes protege and is a schrod is incorrect. sent16: that the DMZ is Anglophilic and metabolizes surge is not true. sent17: the fact that the fact that something does squire kleptomaniac is not incorrect if it studies forty-niner is correct. sent18: that the Sennenhunde is Anglophilic and it is a kind of a capillary is not true if there is something such that it is Hemingwayesque. sent19: if the metoprolol is indulgent then the fact that the placental is Hemingwayesque and/or it is not a lie-in is not correct.
sent4 -> int1: if the socle is not non-capillary then it is not Hemingwayesque.; sent8 & sent1 -> int2: the socle is a capillary.; int1 & int2 -> int3: the socle is not Hemingwayesque.; sent11 -> int4: that the socle is not non-Anglophilic and squires concessionaire is false if it is not Hemingwayesque.; int3 & int4 -> hypothesis;
that the socle is a blende and it does squire concessionaire does not hold.
sent14 -> int5: the Sennenhunde is not a kind of a capillary if the fact that it is Anglophilic and it is not capillary is not correct.; sent9 -> int6: the placental is not a kind of a patronymic and/or is Hemingwayesque.; sent5 & int6 -> int7: the mafioso is Hemingwayesque.; int7 -> int8: something is Hemingwayesque.; int8 & sent18 -> int9: that the Sennenhunde is Anglophilic and it is a capillary is not true.; int5 & int9 -> int10: the Sennenhunde is non-capillary.; int10 -> int11: there is something such that it is not a capillary.; int11 & sent12 -> int12: the kleptomaniac does not squire concessionaire.; int12 -> int13: there exists something such that it does not squire concessionaire.;
$hypothesis$ = the fact that the socle is Anglophilic and it squires concessionaire is not right. ; $context$ = sent1: the kleptomaniac is not a kind of a capillary. sent2: if the Sennenhunde is not patronymic or it squires pinched or both then the kleptomaniac is not a patronymic. sent3: the metoprolol is indulgent. sent4: a capillary is not Hemingwayesque. sent5: the mafioso is Hemingwayesque if the placental is not a kind of a patronymic and/or it is Hemingwayesque. sent6: if that the kleptomaniac is not a kind of a patronymic is not incorrect then the socle is Anglophilic and a capillary. sent7: the fact that the socle is both a lumbering and Jurassic is not right. sent8: if the kleptomaniac is not capillary the socle is capillary. sent9: the placental is not a patronymic. sent10: that the fact that the kleptomaniac does study acromion and is Anglophilic is not incorrect is not right. sent11: the fact that something is Anglophilic and does squire concessionaire is incorrect if that it is not Hemingwayesque is right. sent12: if there exists something such that it is not capillary the kleptomaniac does not squire concessionaire. sent13: the fact that the mafioso studies forty-niner hold. sent14: if the fact that something is Anglophilic and it is a capillary is incorrect then it is not capillary. sent15: if something is not a pachyderm then the fact that it metabolizes protege and is a schrod is incorrect. sent16: that the DMZ is Anglophilic and metabolizes surge is not true. sent17: the fact that the fact that something does squire kleptomaniac is not incorrect if it studies forty-niner is correct. sent18: that the Sennenhunde is Anglophilic and it is a kind of a capillary is not true if there is something such that it is Hemingwayesque. sent19: if the metoprolol is indulgent then the fact that the placental is Hemingwayesque and/or it is not a lie-in is not correct. ; $proof$ = 
sent4 -> int1: if the socle is not non-capillary then it is not Hemingwayesque.; sent8 & sent1 -> int2: the socle is a capillary.; int1 & int2 -> int3: the socle is not Hemingwayesque.; sent11 -> int4: that the socle is not non-Anglophilic and squires concessionaire is false if it is not Hemingwayesque.; int3 & int4 -> hypothesis; __PROVED__