the goldmine is not a woodpecker but an outage.
sent1: the goldmine is not a woodpecker and is a frontierswoman. sent2: the alienee is not a woodpecker. sent3: if the barrel is an outage then the goldmine is not a woodpecker but it is an outage. sent4: the alienee is not a frontierswoman and subjects cortisone if the barrel is not an outage. sent5: the goldmine subjects cortisone. sent6: the barrel is not a frontierswoman. sent7: there is nothing such that it is a kind of an outage and it is a woodpecker. sent8: something that twins is both Leibnizian and not hateful. sent9: the peptization is not agential and subjects peptization. sent10: there exists nothing that is not a frontierswoman and subjects cortisone. sent11: the goldmine does not intersect.
void -> assump1: Let's assume that the barrel is not a kind of an outage.; sent4 & assump1 -> int1: the alienee is not a kind of a frontierswoman and subjects cortisone.; sent10 -> int2: the fact that the alienee is not a frontierswoman and subjects cortisone is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the barrel is a kind of an outage.; int4 & sent3 -> hypothesis;
that the goldmine is not a woodpecker and is an outage is false.
sent8 -> int5: the barrel is Leibnizian but it is not hateful if it does twin.;
$hypothesis$ = the goldmine is not a woodpecker but an outage. ; $context$ = sent1: the goldmine is not a woodpecker and is a frontierswoman. sent2: the alienee is not a woodpecker. sent3: if the barrel is an outage then the goldmine is not a woodpecker but it is an outage. sent4: the alienee is not a frontierswoman and subjects cortisone if the barrel is not an outage. sent5: the goldmine subjects cortisone. sent6: the barrel is not a frontierswoman. sent7: there is nothing such that it is a kind of an outage and it is a woodpecker. sent8: something that twins is both Leibnizian and not hateful. sent9: the peptization is not agential and subjects peptization. sent10: there exists nothing that is not a frontierswoman and subjects cortisone. sent11: the goldmine does not intersect. ; $proof$ = 
void -> assump1: Let's assume that the barrel is not a kind of an outage.; sent4 & assump1 -> int1: the alienee is not a kind of a frontierswoman and subjects cortisone.; sent10 -> int2: the fact that the alienee is not a frontierswoman and subjects cortisone is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the barrel is a kind of an outage.; int4 & sent3 -> hypothesis; __PROVED__