the fact that the auxin is not keyless is not incorrect.
sent1: the mohawk does not subside auxin and is not a knobkerrie if that that the osmium does pleach does not hold is incorrect. sent2: if that something does idealize Bornean and is erythropoietic hold it is not representational. sent3: the fact that the brickyard does not guard Siren and is not dipolar is not right. sent4: everything idealizes Bornean and it is not erythropoietic. sent5: something does pleach if that it is a kind of a STP is not wrong. sent6: the fact that the kook does not guard crested and is not an albatross is not correct if the brickyard begrudges. sent7: if the fact that something is not keyless and is nonrepresentational does not hold that it is keyless hold. sent8: everything does not guard crested. sent9: if that the chinaberry is not a kind of a tragedian and does not homologize is not correct then the confection is not a tragedian. sent10: if the fact that the brickyard does not guard Siren and is not dipolar is not true it begrudges. sent11: if something does idealize Bornean but it is not erythropoietic it is not representational. sent12: if the mustachio is not an albatross the fact that the tempera is not a kind of a interphone and it is not unimpressive is right. sent13: if the confection is not a tragedian the fact that the auxin is both keyed and nonrepresentational is not true. sent14: the suppository is not erythropoietic. sent15: if the fact that the kook does not guard crested and it is not an albatross is not correct the mustachio is not an albatross. sent16: if the suppository does idealize Bornean and it is erythropoietic then it is not representational. sent17: the auxin is not keyless if the suppository is not representational. sent18: the fact that the chinaberry is not a tragedian and it does not homologize does not hold if that the mohawk is not a kind of a knobkerrie is right.
sent4 -> int1: the suppository idealizes Bornean and is not erythropoietic.; sent11 -> int2: if the suppository idealizes Bornean but it is not erythropoietic then it is not representational.; int1 & int2 -> int3: the suppository is not representational.; int3 & sent17 -> hypothesis;
the auxin is keyless.
sent7 -> int4: if that the auxin is both keyed and not representational is wrong it is keyed.; sent5 -> int5: if the osmium is a STP then it does pleach.; sent10 & sent3 -> int6: the brickyard begrudges.; sent6 & int6 -> int7: that the kook does not guard crested and it is not a kind of an albatross is incorrect.; sent15 & int7 -> int8: the mustachio is not an albatross.; sent12 & int8 -> int9: the tempera is not a interphone and not unimpressive.; int9 -> int10: the tempera is not unimpressive.; int10 -> int11: there are non-unimpressive things.;
$hypothesis$ = the fact that the auxin is not keyless is not incorrect. ; $context$ = sent1: the mohawk does not subside auxin and is not a knobkerrie if that that the osmium does pleach does not hold is incorrect. sent2: if that something does idealize Bornean and is erythropoietic hold it is not representational. sent3: the fact that the brickyard does not guard Siren and is not dipolar is not right. sent4: everything idealizes Bornean and it is not erythropoietic. sent5: something does pleach if that it is a kind of a STP is not wrong. sent6: the fact that the kook does not guard crested and is not an albatross is not correct if the brickyard begrudges. sent7: if the fact that something is not keyless and is nonrepresentational does not hold that it is keyless hold. sent8: everything does not guard crested. sent9: if that the chinaberry is not a kind of a tragedian and does not homologize is not correct then the confection is not a tragedian. sent10: if the fact that the brickyard does not guard Siren and is not dipolar is not true it begrudges. sent11: if something does idealize Bornean but it is not erythropoietic it is not representational. sent12: if the mustachio is not an albatross the fact that the tempera is not a kind of a interphone and it is not unimpressive is right. sent13: if the confection is not a tragedian the fact that the auxin is both keyed and nonrepresentational is not true. sent14: the suppository is not erythropoietic. sent15: if the fact that the kook does not guard crested and it is not an albatross is not correct the mustachio is not an albatross. sent16: if the suppository does idealize Bornean and it is erythropoietic then it is not representational. sent17: the auxin is not keyless if the suppository is not representational. sent18: the fact that the chinaberry is not a tragedian and it does not homologize does not hold if that the mohawk is not a kind of a knobkerrie is right. ; $proof$ = 
sent4 -> int1: the suppository idealizes Bornean and is not erythropoietic.; sent11 -> int2: if the suppository idealizes Bornean but it is not erythropoietic then it is not representational.; int1 & int2 -> int3: the suppository is not representational.; int3 & sent17 -> hypothesis; __PROVED__