the garmentmaker is not a standee.
sent1: if the fact that the garmentmaker is a hem but it is not a kind of a Jeffersonian is not true then it is acidic. sent2: if something is a iridotomy it is a standee. sent3: the fact that the garmentmaker is a hem but it is not heliocentric is false. sent4: the grouper is not structural if it is not a kind of a sloganeering. sent5: if there is something such that it is not structural and does not supple unnoticeableness that the meconium is not a claustrophobe hold. sent6: the grouper is not a sloganeering. sent7: the synthesizer is a claustrophobe if the fact that it is heliocentric and does not glamorize is false. sent8: the fact that that the garmentmaker is heliocentric and not a virilism is not incorrect is not true. sent9: something that is not a claustrophobe is not a kind of a iridotomy and is not a standee. sent10: if the fact that the gaskin is heliocentric is true it is a clatter. sent11: if that the garmentmaker is a kind of a hem and is not heliocentric is not correct then it is a iridotomy. sent12: the garmentmaker is a iridotomy if it is not a hem. sent13: if that the garmentmaker is a kind of unconstitutional thing that is not re-entrant does not hold then it is a kind of a iridotomy.
sent11 & sent3 -> int1: the garmentmaker is a iridotomy.; sent2 -> int2: if the garmentmaker is a iridotomy then it is a standee.; int1 & int2 -> hypothesis;
the garmentmaker is not a standee.
sent9 -> int3: that the meconium is both not a iridotomy and not a standee is true if it is not a claustrophobe.; sent6 & sent4 -> int4: the fact that the grouper is not structural is correct.;
$hypothesis$ = the garmentmaker is not a standee. ; $context$ = sent1: if the fact that the garmentmaker is a hem but it is not a kind of a Jeffersonian is not true then it is acidic. sent2: if something is a iridotomy it is a standee. sent3: the fact that the garmentmaker is a hem but it is not heliocentric is false. sent4: the grouper is not structural if it is not a kind of a sloganeering. sent5: if there is something such that it is not structural and does not supple unnoticeableness that the meconium is not a claustrophobe hold. sent6: the grouper is not a sloganeering. sent7: the synthesizer is a claustrophobe if the fact that it is heliocentric and does not glamorize is false. sent8: the fact that that the garmentmaker is heliocentric and not a virilism is not incorrect is not true. sent9: something that is not a claustrophobe is not a kind of a iridotomy and is not a standee. sent10: if the fact that the gaskin is heliocentric is true it is a clatter. sent11: if that the garmentmaker is a kind of a hem and is not heliocentric is not correct then it is a iridotomy. sent12: the garmentmaker is a iridotomy if it is not a hem. sent13: if that the garmentmaker is a kind of unconstitutional thing that is not re-entrant does not hold then it is a kind of a iridotomy. ; $proof$ = 
sent11 & sent3 -> int1: the garmentmaker is a iridotomy.; sent2 -> int2: if the garmentmaker is a iridotomy then it is a standee.; int1 & int2 -> hypothesis; __DISPROVED__