the Northerner does bind picturing and is baboonish.
sent1: there exists something such that it is not aperiodic. sent2: if the stepbrother is not aperiodic the catabolism is not aperiodic. sent3: the formalwear is both a snicker and not pilosebaceous. sent4: the midge is not a match-up and it is not a kind of a tidemark. sent5: if there exists something such that that it is not viviparous or it is a Irish or both does not hold the Northerner does bind picturing. sent6: the dirndl is not baboonish if something that is not a match-up is not a kind of a tidemark. sent7: the Northerner is baboonish if the fiancee is a singularity. sent8: that the midge binds picturing and it is a match-up is not true if the Northerner is not a kind of a match-up. sent9: there is something such that it is not baboonish. sent10: something is not a tidemark. sent11: the fiancee is a singularity if the catabolism is not aperiodic. sent12: if the Northerner is not baboonish that the midge is a tidemark that is baboonish is false. sent13: there is something such that it is baboonish and is not a kind of a match-up. sent14: if something that is a snicker is not pilosebaceous the dirndl is not avian. sent15: the fact that that something is not viviparous and/or it is a Irish is true does not hold if it is not avian. sent16: the fact that the Northerner binds picturing and it is baboonish does not hold if the dirndl is not baboonish.
sent4 -> int1: there is something such that it is not a match-up and is not a kind of a tidemark.; int1 & sent6 -> int2: the dirndl is not baboonish.; sent16 & int2 -> hypothesis;
the Northerner binds picturing and it is baboonish.
sent15 -> int3: if the dirndl is not avian the fact that it is non-viviparous and/or a Irish does not hold.; sent3 -> int4: something is a snicker but it is not pilosebaceous.; int4 & sent14 -> int5: the dirndl is not avian.; int3 & int5 -> int6: the fact that the dirndl is not viviparous and/or it is a Irish does not hold.; int6 -> int7: there exists something such that the fact that it is not viviparous and/or it is Irish does not hold.; int7 & sent5 -> int8: the Northerner binds picturing.;
$hypothesis$ = the Northerner does bind picturing and is baboonish. ; $context$ = sent1: there exists something such that it is not aperiodic. sent2: if the stepbrother is not aperiodic the catabolism is not aperiodic. sent3: the formalwear is both a snicker and not pilosebaceous. sent4: the midge is not a match-up and it is not a kind of a tidemark. sent5: if there exists something such that that it is not viviparous or it is a Irish or both does not hold the Northerner does bind picturing. sent6: the dirndl is not baboonish if something that is not a match-up is not a kind of a tidemark. sent7: the Northerner is baboonish if the fiancee is a singularity. sent8: that the midge binds picturing and it is a match-up is not true if the Northerner is not a kind of a match-up. sent9: there is something such that it is not baboonish. sent10: something is not a tidemark. sent11: the fiancee is a singularity if the catabolism is not aperiodic. sent12: if the Northerner is not baboonish that the midge is a tidemark that is baboonish is false. sent13: there is something such that it is baboonish and is not a kind of a match-up. sent14: if something that is a snicker is not pilosebaceous the dirndl is not avian. sent15: the fact that that something is not viviparous and/or it is a Irish is true does not hold if it is not avian. sent16: the fact that the Northerner binds picturing and it is baboonish does not hold if the dirndl is not baboonish. ; $proof$ = 
sent4 -> int1: there is something such that it is not a match-up and is not a kind of a tidemark.; int1 & sent6 -> int2: the dirndl is not baboonish.; sent16 & int2 -> hypothesis; __DISPROVED__