the barmbrack does detail contrivance and is not a Draco.
sent1: the sandlot does detail contrivance. sent2: the apricot is not a mackinaw and/or it is onshore. sent3: that the histologist is not a kind of a mackinaw hold. sent4: the apricot does relieve. sent5: if the apricot is a kind of a Draco then the barmbrack is not a kind of a Draco. sent6: the apricot does not detail contrivance. sent7: the barmbrack does detail contrivance and is not a Draco if the apricot is a kind of a Draco. sent8: if the barmbrack is not a Draco or it does not detail contrivance or both then the fact that it is a mackinaw hold. sent9: everything is not curtained but benzoic. sent10: the apricot is a mackinaw if the histologist is onshore. sent11: the barmbrack is not a Draco. sent12: the apricot is not a mackinaw. sent13: the apricot is a kind of a Draco if it is not a kind of a mackinaw and/or it is not onshore. sent14: that the histologist patinates Stone or it is onshore or both is true if there exists something such that it is not curtained. sent15: the apricot is a Draco if it is not onshore. sent16: the barmbrack does not clangor Michelson and/or it is not onshore.
sent12 -> int1: the apricot is not a mackinaw and/or it is not onshore.; int1 & sent13 -> int2: the apricot is a Draco.; int2 & sent7 -> hypothesis;
that the barmbrack does detail contrivance but it is not a Draco is not correct.
sent9 -> int3: the runch is curtainless and it is benzoic.; int3 -> int4: the runch is curtainless.; int4 -> int5: everything is curtainless.; int5 -> int6: the caterpillar is curtainless.; int6 -> int7: something is curtainless.; sent14 & int7 -> int8: the histologist patinates Stone and/or is onshore.;
$hypothesis$ = the barmbrack does detail contrivance and is not a Draco. ; $context$ = sent1: the sandlot does detail contrivance. sent2: the apricot is not a mackinaw and/or it is onshore. sent3: that the histologist is not a kind of a mackinaw hold. sent4: the apricot does relieve. sent5: if the apricot is a kind of a Draco then the barmbrack is not a kind of a Draco. sent6: the apricot does not detail contrivance. sent7: the barmbrack does detail contrivance and is not a Draco if the apricot is a kind of a Draco. sent8: if the barmbrack is not a Draco or it does not detail contrivance or both then the fact that it is a mackinaw hold. sent9: everything is not curtained but benzoic. sent10: the apricot is a mackinaw if the histologist is onshore. sent11: the barmbrack is not a Draco. sent12: the apricot is not a mackinaw. sent13: the apricot is a kind of a Draco if it is not a kind of a mackinaw and/or it is not onshore. sent14: that the histologist patinates Stone or it is onshore or both is true if there exists something such that it is not curtained. sent15: the apricot is a Draco if it is not onshore. sent16: the barmbrack does not clangor Michelson and/or it is not onshore. ; $proof$ = 
sent12 -> int1: the apricot is not a mackinaw and/or it is not onshore.; int1 & sent13 -> int2: the apricot is a Draco.; int2 & sent7 -> hypothesis; __PROVED__