that the misgovernment occurs leads to that the Papuanness happens.
sent1: the fact that the sensitizing costumed does not occur and the contributing spell-checker does not occur is not right if the sensitizing angstrom does not occur. sent2: the fact that the sensitizing costumed occurs and the contributing spell-checker does not occur does not hold. sent3: the Papuan is triggered by the sensitizing costumed. sent4: the precociousness does not occur. sent5: if the misgovernment happens then the sensitizing angstrom does not occur.
void -> assump1: Let's assume that the misgovernment occurs.; sent5 & assump1 -> int1: the sensitizing angstrom does not occur.; sent1 & int1 -> int2: the fact that the sensitizing costumed does not occur and the contributing spell-checker does not occur does not hold.;
$hypothesis$ = that the misgovernment occurs leads to that the Papuanness happens. ; $context$ = sent1: the fact that the sensitizing costumed does not occur and the contributing spell-checker does not occur is not right if the sensitizing angstrom does not occur. sent2: the fact that the sensitizing costumed occurs and the contributing spell-checker does not occur does not hold. sent3: the Papuan is triggered by the sensitizing costumed. sent4: the precociousness does not occur. sent5: if the misgovernment happens then the sensitizing angstrom does not occur. ; $proof$ = 
void -> assump1: Let's assume that the misgovernment occurs.; sent5 & assump1 -> int1: the sensitizing angstrom does not occur.; sent1 & int1 -> int2: the fact that the sensitizing costumed does not occur and the contributing spell-checker does not occur does not hold.; __UNKNOWN__