the hiddenite is a roebuck and it is antigenic.
sent1: something is antigenic if the fact that it is an adjective and is not a reincarnation does not hold. sent2: if something that is a pilferage relaces frustration the hiddenite is not a parking. sent3: there is something such that the fact that it relaces Theophrastus is correct. sent4: if there is something such that the fact that it is not a kind of an adjective and/or it does not housekeep reasoner is wrong then the shroud is not a reincarnation. sent5: the penis does not relace frustration and is a parking if the shroud is not a reincarnation. sent6: if something is a Knesset and a horsehair the fuselage does not relace aquatint. sent7: that something is an adjective but not a reincarnation is not correct if it is not a parking. sent8: everything does not housekeep reasoner and it is syncategorematic. sent9: if something that does not relace frustration parks it is not a kind of a pilferage. sent10: if that the hiddenite is septal but it is not a urolith is not correct it originates. sent11: if the fact that something is a kind of adjective thing that is not unworthy is incorrect it is a hollyhock. sent12: if something that does not housekeep reasoner is not non-syncategorematic then it is a kind of a roebuck. sent13: there exists something such that it is a pilferage and does relace frustration. sent14: if something is not syncategorematic that it is not an adjective and/or does not housekeep reasoner is incorrect.
sent13 & sent2 -> int1: the hiddenite is not a kind of a parking.; sent7 -> int2: the fact that the hiddenite is a kind of an adjective but it is not a reincarnation is not true if it is not a parking.; int1 & int2 -> int3: the fact that the hiddenite is adjective but it is not a reincarnation does not hold.; sent1 -> int4: if that the hiddenite is adjective thing that is not a reincarnation is false it is antigenic.; int3 & int4 -> int5: the hiddenite is antigenic.; sent12 -> int6: the hiddenite is a kind of a roebuck if it does not housekeep reasoner and is syncategorematic.; sent8 -> int7: the hiddenite does not housekeep reasoner and is syncategorematic.; int6 & int7 -> int8: the hiddenite is a kind of a roebuck.; int5 & int8 -> hypothesis;
that the hiddenite is a kind of a roebuck and it is antigenic does not hold.
sent9 -> int9: if the penis does not relace frustration and is a parking it is not a pilferage.; sent14 -> int10: that the amnion is not an adjective and/or it does not housekeep reasoner is wrong if it is not syncategorematic.;
$hypothesis$ = the hiddenite is a roebuck and it is antigenic. ; $context$ = sent1: something is antigenic if the fact that it is an adjective and is not a reincarnation does not hold. sent2: if something that is a pilferage relaces frustration the hiddenite is not a parking. sent3: there is something such that the fact that it relaces Theophrastus is correct. sent4: if there is something such that the fact that it is not a kind of an adjective and/or it does not housekeep reasoner is wrong then the shroud is not a reincarnation. sent5: the penis does not relace frustration and is a parking if the shroud is not a reincarnation. sent6: if something is a Knesset and a horsehair the fuselage does not relace aquatint. sent7: that something is an adjective but not a reincarnation is not correct if it is not a parking. sent8: everything does not housekeep reasoner and it is syncategorematic. sent9: if something that does not relace frustration parks it is not a kind of a pilferage. sent10: if that the hiddenite is septal but it is not a urolith is not correct it originates. sent11: if the fact that something is a kind of adjective thing that is not unworthy is incorrect it is a hollyhock. sent12: if something that does not housekeep reasoner is not non-syncategorematic then it is a kind of a roebuck. sent13: there exists something such that it is a pilferage and does relace frustration. sent14: if something is not syncategorematic that it is not an adjective and/or does not housekeep reasoner is incorrect. ; $proof$ = 
sent13 & sent2 -> int1: the hiddenite is not a kind of a parking.; sent7 -> int2: the fact that the hiddenite is a kind of an adjective but it is not a reincarnation is not true if it is not a parking.; int1 & int2 -> int3: the fact that the hiddenite is adjective but it is not a reincarnation does not hold.; sent1 -> int4: if that the hiddenite is adjective thing that is not a reincarnation is false it is antigenic.; int3 & int4 -> int5: the hiddenite is antigenic.; sent12 -> int6: the hiddenite is a kind of a roebuck if it does not housekeep reasoner and is syncategorematic.; sent8 -> int7: the hiddenite does not housekeep reasoner and is syncategorematic.; int6 & int7 -> int8: the hiddenite is a kind of a roebuck.; int5 & int8 -> hypothesis; __PROVED__