that the macintosh does usher lumpsucker and/or it is not non-Kenyan does not hold.
sent1: if the Oxbridge is restrictive the macintosh is a kind of a Kenyan. sent2: the macintosh is avascular. sent3: the fact that that the garment is avascular but it does not exhilarate bitumen is incorrect if something is a kind of a Walton hold. sent4: that the engineering is not a Cross but it is nonreticulate is not right. sent5: the accretion is a kind of a Cross if the fact that the engineering is not a Cross but it is nonreticulate is not right. sent6: there exists something such that the fact that it is not a Bermudan and it ushers antimatter is false. sent7: if the fact that the garment is a kind of avascular thing that does not exhilarate bitumen is not right then the Oxbridge is restrictive. sent8: that that the garment is avascular and it does exhilarate bitumen does not hold is right. sent9: the fact that the garment is restrictive and does not exhilarate bitumen does not hold. sent10: if there is something such that that it is not Bermudan and it does usher antimatter is not true then the accretion is not a Mashhad. sent11: the fact that the fact that the garment is not non-avascular and exhilarates bitumen is not wrong is false if there is something such that it is a Walton. sent12: there exists something such that it is a Walton. sent13: if the accretion is a Cross but it is not a kind of a Mashhad then the Moon is a Kenyan. sent14: the fact that the macintosh exhilarates bitumen if the fact that the garment does usher lumpsucker and is not avascular is false hold. sent15: if the garment exhilarates bitumen then the Oxbridge is restrictive. sent16: something is not avascular if it is non-restrictive thing that exhilarates bitumen. sent17: the fact that the macintosh does usher lumpsucker and is not restrictive is not right.
sent12 & sent3 -> int1: the fact that the garment is a kind of avascular thing that does not exhilarate bitumen is wrong.; sent7 & int1 -> int2: the Oxbridge is restrictive.; sent1 & int2 -> int3: the macintosh is Kenyan.; int3 -> hypothesis;
the Oxbridge ushers lumpsucker.
sent16 -> int4: the macintosh is not avascular if it is a kind of non-restrictive thing that does exhilarate bitumen.; sent5 & sent4 -> int5: the accretion is a Cross.; sent6 & sent10 -> int6: the accretion is not a Mashhad.; int5 & int6 -> int7: the accretion is both a Cross and not a Mashhad.; sent13 & int7 -> int8: the Moon is a Kenyan.; int8 -> int9: there is something such that it is a Kenyan.;
$hypothesis$ = that the macintosh does usher lumpsucker and/or it is not non-Kenyan does not hold. ; $context$ = sent1: if the Oxbridge is restrictive the macintosh is a kind of a Kenyan. sent2: the macintosh is avascular. sent3: the fact that that the garment is avascular but it does not exhilarate bitumen is incorrect if something is a kind of a Walton hold. sent4: that the engineering is not a Cross but it is nonreticulate is not right. sent5: the accretion is a kind of a Cross if the fact that the engineering is not a Cross but it is nonreticulate is not right. sent6: there exists something such that the fact that it is not a Bermudan and it ushers antimatter is false. sent7: if the fact that the garment is a kind of avascular thing that does not exhilarate bitumen is not right then the Oxbridge is restrictive. sent8: that that the garment is avascular and it does exhilarate bitumen does not hold is right. sent9: the fact that the garment is restrictive and does not exhilarate bitumen does not hold. sent10: if there is something such that that it is not Bermudan and it does usher antimatter is not true then the accretion is not a Mashhad. sent11: the fact that the fact that the garment is not non-avascular and exhilarates bitumen is not wrong is false if there is something such that it is a Walton. sent12: there exists something such that it is a Walton. sent13: if the accretion is a Cross but it is not a kind of a Mashhad then the Moon is a Kenyan. sent14: the fact that the macintosh exhilarates bitumen if the fact that the garment does usher lumpsucker and is not avascular is false hold. sent15: if the garment exhilarates bitumen then the Oxbridge is restrictive. sent16: something is not avascular if it is non-restrictive thing that exhilarates bitumen. sent17: the fact that the macintosh does usher lumpsucker and is not restrictive is not right. ; $proof$ = 
sent12 & sent3 -> int1: the fact that the garment is a kind of avascular thing that does not exhilarate bitumen is wrong.; sent7 & int1 -> int2: the Oxbridge is restrictive.; sent1 & int2 -> int3: the macintosh is Kenyan.; int3 -> hypothesis; __DISPROVED__