the black is a Methodists if the duchess is competent.
sent1: the kisser is not a nitrite if the twenty-two is not imperishable and it is not afraid. sent2: the fact that the firehouse is cool is true if the kisser is not a kind of a nitrite. sent3: if the duchess is competent then the twenty-two is a kind of non-imperishable thing that is not afraid. sent4: if the firehouse is a cool the black is Methodists. sent5: if the duchess is Methodists that the black is competent hold. sent6: the burg is a Methodists if the duchess is a kind of a Methodists.
void -> assump1: Let's assume that the duchess is competent.; sent3 & assump1 -> int1: that the twenty-two is both not imperishable and unafraid is not incorrect.; int1 & sent1 -> int2: the kisser is not a nitrite.; int2 & sent2 -> int3: the firehouse is a kind of a cool.; int3 & sent4 -> int4: that the black is a Methodists is right.; [assump1] & int4 -> hypothesis;
that the burg is a Methodists is not incorrect.
$hypothesis$ = the black is a Methodists if the duchess is competent. ; $context$ = sent1: the kisser is not a nitrite if the twenty-two is not imperishable and it is not afraid. sent2: the fact that the firehouse is cool is true if the kisser is not a kind of a nitrite. sent3: if the duchess is competent then the twenty-two is a kind of non-imperishable thing that is not afraid. sent4: if the firehouse is a cool the black is Methodists. sent5: if the duchess is Methodists that the black is competent hold. sent6: the burg is a Methodists if the duchess is a kind of a Methodists. ; $proof$ = 
void -> assump1: Let's assume that the duchess is competent.; sent3 & assump1 -> int1: that the twenty-two is both not imperishable and unafraid is not incorrect.; int1 & sent1 -> int2: the kisser is not a nitrite.; int2 & sent2 -> int3: the firehouse is a kind of a cool.; int3 & sent4 -> int4: that the black is a Methodists is right.; [assump1] & int4 -> hypothesis; __PROVED__