that the olivenite is either obstetrics or not classificatory or both is incorrect.
sent1: that the telencephalon is not a commune is true. sent2: if the hardbake does not brief government the cordierite is not a commune. sent3: the telencephalon is a reformation. sent4: the telencephalon is not a kind of a reformation if the hardbake does not commune and briefs government. sent5: the cordierite is not obstetrics if the fact that the celebrity is both an inhibition and a materialist is not true. sent6: if something is not a kind of a scabicide then that it is an inhibition and it is a materialist is not true. sent7: if the celebrity is a scabicide the fact that it does brief government is correct. sent8: the hardbake is not a kind of a commune but it briefs government if the celebrity briefs government. sent9: if the cordierite is not obstetrics that the olivenite is obstetrics or it is not classificatory or both does not hold.
void -> assump1: Let's assume that the fact that the celebrity is a kind of a scabicide is correct.; sent7 & assump1 -> int1: the celebrity does brief government.; int1 & sent8 -> int2: the hardbake is not a kind of a commune and does brief government.; int2 & sent4 -> int3: the telencephalon is not a reformation.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the celebrity is not a scabicide.; sent6 -> int6: the fact that the celebrity is an inhibition that is a materialist is false if it is not a scabicide.; int5 & int6 -> int7: the fact that the fact that the celebrity is a kind of an inhibition and it is a materialist is not incorrect is wrong.; int7 & sent5 -> int8: the cordierite is not obstetrics.; int8 & sent9 -> hypothesis;
$hypothesis$ = that the olivenite is either obstetrics or not classificatory or both is incorrect. ; $context$ = sent1: that the telencephalon is not a commune is true. sent2: if the hardbake does not brief government the cordierite is not a commune. sent3: the telencephalon is a reformation. sent4: the telencephalon is not a kind of a reformation if the hardbake does not commune and briefs government. sent5: the cordierite is not obstetrics if the fact that the celebrity is both an inhibition and a materialist is not true. sent6: if something is not a kind of a scabicide then that it is an inhibition and it is a materialist is not true. sent7: if the celebrity is a scabicide the fact that it does brief government is correct. sent8: the hardbake is not a kind of a commune but it briefs government if the celebrity briefs government. sent9: if the cordierite is not obstetrics that the olivenite is obstetrics or it is not classificatory or both does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the celebrity is a kind of a scabicide is correct.; sent7 & assump1 -> int1: the celebrity does brief government.; int1 & sent8 -> int2: the hardbake is not a kind of a commune and does brief government.; int2 & sent4 -> int3: the telencephalon is not a reformation.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the celebrity is not a scabicide.; sent6 -> int6: the fact that the celebrity is an inhibition that is a materialist is false if it is not a scabicide.; int5 & int6 -> int7: the fact that the fact that the celebrity is a kind of an inhibition and it is a materialist is not incorrect is wrong.; int7 & sent5 -> int8: the cordierite is not obstetrics.; int8 & sent9 -> hypothesis; __PROVED__