the glycine is not a carob.
sent1: something is a corset if it does not term peasantry or it is a kind of a corset or both. sent2: if that the glycine corsets hold then it is a Lillie. sent3: if the glycine is an embezzler it is a Hendrix. sent4: the fact that something is not an embezzler and is not a Hendrix is incorrect if it is a kind of a carob. sent5: the fact that the glycine does term peasantry and is a corset is correct. sent6: if the glycine is a Hendrix it is a kind of a carob. sent7: if the fact that the glycine is a Lillie is true then it is an embezzler. sent8: if the bunsen is a kind of a carob then the supper is a kind of a carob. sent9: if that the supper is not a kind of an embezzler and it is not a kind of a Hendrix is not right then the glycine is not a kind of a Lillie. sent10: the drink does not term peasantry and/or it is a corset if the glycine is not a kind of a Lillie.
sent5 -> int1: the glycine is a corset.; int1 & sent2 -> int2: the glycine is a Lillie.; int2 & sent7 -> int3: the glycine is an embezzler.; int3 & sent3 -> int4: the glycine is a Hendrix.; int4 & sent6 -> hypothesis;
the drink is a corset.
sent1 -> int5: if the drink does not term peasantry or is a kind of a corset or both then it does corset.; sent4 -> int6: if the supper is a kind of a carob then the fact that it is both not an embezzler and not a Hendrix is not right.;
$hypothesis$ = the glycine is not a carob. ; $context$ = sent1: something is a corset if it does not term peasantry or it is a kind of a corset or both. sent2: if that the glycine corsets hold then it is a Lillie. sent3: if the glycine is an embezzler it is a Hendrix. sent4: the fact that something is not an embezzler and is not a Hendrix is incorrect if it is a kind of a carob. sent5: the fact that the glycine does term peasantry and is a corset is correct. sent6: if the glycine is a Hendrix it is a kind of a carob. sent7: if the fact that the glycine is a Lillie is true then it is an embezzler. sent8: if the bunsen is a kind of a carob then the supper is a kind of a carob. sent9: if that the supper is not a kind of an embezzler and it is not a kind of a Hendrix is not right then the glycine is not a kind of a Lillie. sent10: the drink does not term peasantry and/or it is a corset if the glycine is not a kind of a Lillie. ; $proof$ = 
sent5 -> int1: the glycine is a corset.; int1 & sent2 -> int2: the glycine is a Lillie.; int2 & sent7 -> int3: the glycine is an embezzler.; int3 & sent3 -> int4: the glycine is a Hendrix.; int4 & sent6 -> hypothesis; __DISPROVED__