the classification but not the civilness occurs if the headquartering kentan happens.
sent1: if the dissembling does not occur the disagreeableness occurs. sent2: the headquartering kentan does not occur if the alternation happens. sent3: the classification and the disagreeableness happens if the dissembling does not occur. sent4: the dissembling does not occur. sent5: the headquartering kentan occurs if the alternation and/or the civilness happens. sent6: the fudging poultry and/or the auspices occurs. sent7: the fact that the headquartering kentan does not occur is right if the alternation happens and/or the civilness occurs. sent8: the auspices occurs. sent9: the disagreeableness occurs.
void -> assump1: Let's assume that the civilness occurs.; assump1 -> int1: either the alternation occurs or the civilness occurs or both.; int1 & sent7 -> int2: the headquartering kentan does not occur.; void -> assump2: Let's assume that the headquartering kentan happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the civilness does not occur is true.; sent3 & sent4 -> int5: the classification and the disagreeableness happens.; int5 -> int6: the classification occurs.; int4 & int6 -> int7: the classification but not the civilness occurs.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the classification but not the civilness occurs if the headquartering kentan happens. ; $context$ = sent1: if the dissembling does not occur the disagreeableness occurs. sent2: the headquartering kentan does not occur if the alternation happens. sent3: the classification and the disagreeableness happens if the dissembling does not occur. sent4: the dissembling does not occur. sent5: the headquartering kentan occurs if the alternation and/or the civilness happens. sent6: the fudging poultry and/or the auspices occurs. sent7: the fact that the headquartering kentan does not occur is right if the alternation happens and/or the civilness occurs. sent8: the auspices occurs. sent9: the disagreeableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the civilness occurs.; assump1 -> int1: either the alternation occurs or the civilness occurs or both.; int1 & sent7 -> int2: the headquartering kentan does not occur.; void -> assump2: Let's assume that the headquartering kentan happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the civilness does not occur is true.; sent3 & sent4 -> int5: the classification and the disagreeableness happens.; int5 -> int6: the classification occurs.; int4 & int6 -> int7: the classification but not the civilness occurs.; [assump2] & int7 -> hypothesis; __PROVED__