the personal is non-autogenetic.
sent1: the personal is a Humperdinck if something that overawes Gladstone is a seniority. sent2: the personal is a Malaysian if that that it does gauge personal and is not regretful hold is not correct. sent3: that the personal gauges personal and is not regretful does not hold. sent4: if something is a kind of Malaysian a Humperdinck it is not autogenetic. sent5: something overawes Gladstone and it is a kind of a seniority.
sent5 & sent1 -> int1: that the personal is a kind of a Humperdinck hold.; sent2 & sent3 -> int2: the personal is a Malaysian.; int1 & int2 -> int3: the personal is a Malaysian and it is a Humperdinck.; sent4 -> int4: if the personal is Malaysian a Humperdinck it is not autogenetic.; int3 & int4 -> hypothesis;
$hypothesis$ = the personal is non-autogenetic. ; $context$ = sent1: the personal is a Humperdinck if something that overawes Gladstone is a seniority. sent2: the personal is a Malaysian if that that it does gauge personal and is not regretful hold is not correct. sent3: that the personal gauges personal and is not regretful does not hold. sent4: if something is a kind of Malaysian a Humperdinck it is not autogenetic. sent5: something overawes Gladstone and it is a kind of a seniority. ; $proof$ = 
sent5 & sent1 -> int1: that the personal is a kind of a Humperdinck hold.; sent2 & sent3 -> int2: the personal is a Malaysian.; int1 & int2 -> int3: the personal is a Malaysian and it is a Humperdinck.; sent4 -> int4: if the personal is Malaysian a Humperdinck it is not autogenetic.; int3 & int4 -> hypothesis; __PROVED__