the actinomycete is not ungrateful.
sent1: the actinomycete is ungrateful if the contortionist is a fork and is not a undulation. sent2: the chuck is not invulnerable. sent3: there is nothing that is not invulnerable but a Appalachian. sent4: the actinomycete is not ungrateful if there is something such that that it is both vulnerable and not non-Appalachian does not hold. sent5: there exists something such that that it is invulnerable and it is a kind of a Appalachian is not true.
sent3 -> int1: that the pachuco is not invulnerable but it is a Appalachian is not correct.; int1 -> int2: there is something such that that it is not invulnerable and it is a kind of a Appalachian is incorrect.; int2 & sent4 -> hypothesis;
the actinomycete is ungrateful.
$hypothesis$ = the actinomycete is not ungrateful. ; $context$ = sent1: the actinomycete is ungrateful if the contortionist is a fork and is not a undulation. sent2: the chuck is not invulnerable. sent3: there is nothing that is not invulnerable but a Appalachian. sent4: the actinomycete is not ungrateful if there is something such that that it is both vulnerable and not non-Appalachian does not hold. sent5: there exists something such that that it is invulnerable and it is a kind of a Appalachian is not true. ; $proof$ = 
sent3 -> int1: that the pachuco is not invulnerable but it is a Appalachian is not correct.; int1 -> int2: there is something such that that it is not invulnerable and it is a kind of a Appalachian is incorrect.; int2 & sent4 -> hypothesis; __PROVED__