the inglenook condemns imposture and it is a middling.
sent1: the inglenook is a middling. sent2: if something is not inflectional but a middling the fact that it does not condemn SGML is correct. sent3: the dentifrice is a middling if the inglenook is a kind of a vertebrate. sent4: the equatorial is a vertebrate. sent5: the Menorah is not a pseudoscience and not a greybeard. sent6: if that the dentifrice does condemn SGML is right the inglenook does condemn imposture. sent7: if something does not condemn SGML it does condemn imposture and/or it is a vertebrate. sent8: if the Menorah is not a kind of a pseudoscience and it is not a greybeard then the dentifrice is a kind of a vertebrate. sent9: if the dentifrice is a kind of a vertebrate it does condemn SGML. sent10: the Menorah is not a greybeard and it does not condemn imposture. sent11: if the Menorah is not a pseudoscience but it is a greybeard that the dentifrice is a vertebrate is not wrong.
sent8 & sent5 -> int1: the dentifrice is vertebrate.; int1 & sent9 -> int2: the dentifrice condemns SGML.; int2 & sent6 -> int3: the inglenook condemns imposture.; int3 & sent1 -> hypothesis;
that the exile is a kind of a vertebrate is correct.
sent7 -> int4: if the Menorah does not condemn SGML it condemns imposture or is vertebrate or both.; sent2 -> int5: if the Menorah is a kind of non-inflectional thing that is middling then it does not condemn SGML.;
$hypothesis$ = the inglenook condemns imposture and it is a middling. ; $context$ = sent1: the inglenook is a middling. sent2: if something is not inflectional but a middling the fact that it does not condemn SGML is correct. sent3: the dentifrice is a middling if the inglenook is a kind of a vertebrate. sent4: the equatorial is a vertebrate. sent5: the Menorah is not a pseudoscience and not a greybeard. sent6: if that the dentifrice does condemn SGML is right the inglenook does condemn imposture. sent7: if something does not condemn SGML it does condemn imposture and/or it is a vertebrate. sent8: if the Menorah is not a kind of a pseudoscience and it is not a greybeard then the dentifrice is a kind of a vertebrate. sent9: if the dentifrice is a kind of a vertebrate it does condemn SGML. sent10: the Menorah is not a greybeard and it does not condemn imposture. sent11: if the Menorah is not a pseudoscience but it is a greybeard that the dentifrice is a vertebrate is not wrong. ; $proof$ = 
sent8 & sent5 -> int1: the dentifrice is vertebrate.; int1 & sent9 -> int2: the dentifrice condemns SGML.; int2 & sent6 -> int3: the inglenook condemns imposture.; int3 & sent1 -> hypothesis; __PROVED__