that the apricot discards havelock is right.
sent1: if something that is not a kind of a revisionist is not a congratulation the cosmography is not Nauruan. sent2: the cosmography is a Nauruan. sent3: if that something does not discard cosmography and/or it is not many is not correct it is not a congratulation. sent4: if the beaugregory is catkinate then the apricot discards havelock. sent5: the havelock is not a revisionist and it is not a congratulation if that the beaugregory is not a congratulation hold. sent6: the fact that the beaugregory does not discard cosmography or is not many or both is not correct if that it is not catkinate hold. sent7: the havelock is not a revisionist.
void -> assump1: Let's assume that the beaugregory is not catkinate.; sent6 & assump1 -> int1: the fact that the beaugregory does not discard cosmography and/or is not many is not true.; sent3 -> int2: if the fact that the beaugregory does not discard cosmography or is not many or both does not hold it is not a kind of a congratulation.; int1 & int2 -> int3: the beaugregory is not a kind of a congratulation.; int3 & sent5 -> int4: the havelock is not a revisionist and is not a congratulation.; int4 -> int5: something is both not a revisionist and not a congratulation.; int5 & sent1 -> int6: the cosmography is not a kind of a Nauruan.; int6 & sent2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the beaugregory is catkinate.; int8 & sent4 -> hypothesis;
$hypothesis$ = that the apricot discards havelock is right. ; $context$ = sent1: if something that is not a kind of a revisionist is not a congratulation the cosmography is not Nauruan. sent2: the cosmography is a Nauruan. sent3: if that something does not discard cosmography and/or it is not many is not correct it is not a congratulation. sent4: if the beaugregory is catkinate then the apricot discards havelock. sent5: the havelock is not a revisionist and it is not a congratulation if that the beaugregory is not a congratulation hold. sent6: the fact that the beaugregory does not discard cosmography or is not many or both is not correct if that it is not catkinate hold. sent7: the havelock is not a revisionist. ; $proof$ = 
void -> assump1: Let's assume that the beaugregory is not catkinate.; sent6 & assump1 -> int1: the fact that the beaugregory does not discard cosmography and/or is not many is not true.; sent3 -> int2: if the fact that the beaugregory does not discard cosmography or is not many or both does not hold it is not a kind of a congratulation.; int1 & int2 -> int3: the beaugregory is not a kind of a congratulation.; int3 & sent5 -> int4: the havelock is not a revisionist and is not a congratulation.; int4 -> int5: something is both not a revisionist and not a congratulation.; int5 & sent1 -> int6: the cosmography is not a kind of a Nauruan.; int6 & sent2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the beaugregory is catkinate.; int8 & sent4 -> hypothesis; __PROVED__