if that the dump is a Sirenia and is adequate is not right then the plum does not articulate.
sent1: if the mulligan is not paleocortical but it is a bearskin then the plum does not articulate. sent2: the dump is adequate if the mulligan is a kind of inarticulate a bearskin. sent3: the mulligan is a kind of an islander. sent4: the plum is not inarticulate. sent5: the fact that the mulligan is adequate and is a bearskin does not hold. sent6: if the dump does not articulate then it is not paleocortical. sent7: the dump is a bearskin if that the mulligan is adequate and paleocortical is wrong. sent8: if the fact that the dump is a kind of a Sirenia and is adequate is incorrect then the mulligan is not paleocortical. sent9: if the dump is not a Sirenia then the plum does not articulate. sent10: the mulligan is a kind of a bearskin that is a kind of an islander.
void -> assump1: Let's assume that that the dump is a kind of a Sirenia and is adequate is wrong.; sent8 & assump1 -> int1: the mulligan is not paleocortical.; sent10 -> int2: the mulligan is a kind of a bearskin.; int1 & int2 -> int3: the mulligan is not paleocortical but a bearskin.; int3 & sent1 -> int4: the plum does not articulate.; [assump1] & int4 -> hypothesis;
the loyalist is not actable and is a bearskin.
$hypothesis$ = if that the dump is a Sirenia and is adequate is not right then the plum does not articulate. ; $context$ = sent1: if the mulligan is not paleocortical but it is a bearskin then the plum does not articulate. sent2: the dump is adequate if the mulligan is a kind of inarticulate a bearskin. sent3: the mulligan is a kind of an islander. sent4: the plum is not inarticulate. sent5: the fact that the mulligan is adequate and is a bearskin does not hold. sent6: if the dump does not articulate then it is not paleocortical. sent7: the dump is a bearskin if that the mulligan is adequate and paleocortical is wrong. sent8: if the fact that the dump is a kind of a Sirenia and is adequate is incorrect then the mulligan is not paleocortical. sent9: if the dump is not a Sirenia then the plum does not articulate. sent10: the mulligan is a kind of a bearskin that is a kind of an islander. ; $proof$ = 
void -> assump1: Let's assume that that the dump is a kind of a Sirenia and is adequate is wrong.; sent8 & assump1 -> int1: the mulligan is not paleocortical.; sent10 -> int2: the mulligan is a kind of a bearskin.; int1 & int2 -> int3: the mulligan is not paleocortical but a bearskin.; int3 & sent1 -> int4: the plum does not articulate.; [assump1] & int4 -> hypothesis; __PROVED__