the grume is a kind of a gambist that is a Pempheridae.
sent1: the fact that the heir is not nonreflective but it is a tricot is false if it is categorematic. sent2: that there are abactinal things is not false. sent3: if something does grease bonyness and is a gambist then the palfrey is not a Pempheridae. sent4: the palfrey is nonreflective and a tricot. sent5: the grume is a nuance. sent6: something bonnets stylist and is insolvent if it does not clear derivation. sent7: the palfrey is nonreflective. sent8: if something is not nonreflective then it is a gambist and is a kind of a Pempheridae. sent9: the heir is categorematic. sent10: there is something such that it does eventuate and it does reveal. sent11: the palfrey greases bonyness and it is a tricot. sent12: the grume is not nonreflective if something that does grease bonyness is a tricot.
sent11 -> int1: there is something such that it greases bonyness and it is a kind of a tricot.; int1 & sent12 -> int2: the grume is not nonreflective.; sent8 -> int3: if the grume is not nonreflective it is a gambist and it is a Pempheridae.; int2 & int3 -> hypothesis;
that the grume is a gambist and is a Pempheridae is not correct.
sent1 & sent9 -> int4: that the heir is not nonreflective and is a kind of a tricot does not hold.;
$hypothesis$ = the grume is a kind of a gambist that is a Pempheridae. ; $context$ = sent1: the fact that the heir is not nonreflective but it is a tricot is false if it is categorematic. sent2: that there are abactinal things is not false. sent3: if something does grease bonyness and is a gambist then the palfrey is not a Pempheridae. sent4: the palfrey is nonreflective and a tricot. sent5: the grume is a nuance. sent6: something bonnets stylist and is insolvent if it does not clear derivation. sent7: the palfrey is nonreflective. sent8: if something is not nonreflective then it is a gambist and is a kind of a Pempheridae. sent9: the heir is categorematic. sent10: there is something such that it does eventuate and it does reveal. sent11: the palfrey greases bonyness and it is a tricot. sent12: the grume is not nonreflective if something that does grease bonyness is a tricot. ; $proof$ = 
sent11 -> int1: there is something such that it greases bonyness and it is a kind of a tricot.; int1 & sent12 -> int2: the grume is not nonreflective.; sent8 -> int3: if the grume is not nonreflective it is a gambist and it is a Pempheridae.; int2 & int3 -> hypothesis; __PROVED__