the coccus is estimable and does not mystify manuscript.
sent1: the suburbanite does not integrate coccus and/or it does mop. sent2: everything mops. sent3: the suburbanite does mop. sent4: the coccus is estimable. sent5: there are inessential things. sent6: there is nothing such that it does not integrate coccus and/or does not mop. sent7: if the suburbanite is a denigration then it is unwoven. sent8: if the suburbanite is unwoven and it is impractical it does not integrate coccus. sent9: if the suburbanite is a kind of a inessential then it is a denigration. sent10: the suburbanite is impractical. sent11: the coccus is estimable if there exists something such that it is not a inessential.
void -> assump1: Let's assume that the fact that the suburbanite is a inessential is correct.; sent9 & assump1 -> int1: the suburbanite is a denigration.; int1 & sent7 -> int2: the suburbanite is unwoven.; int2 & sent10 -> int3: the suburbanite is unwoven and is impractical.; int3 & sent8 -> int4: the suburbanite does not integrate coccus.; int4 -> int5: the suburbanite does not integrate coccus and/or it does not mop.; sent6 -> int6: the fact that the suburbanite does not integrate coccus and/or it does not mop is not true.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the suburbanite is not inessential.; int8 -> int9: there exists something such that it is not a kind of a inessential.;
$hypothesis$ = the coccus is estimable and does not mystify manuscript. ; $context$ = sent1: the suburbanite does not integrate coccus and/or it does mop. sent2: everything mops. sent3: the suburbanite does mop. sent4: the coccus is estimable. sent5: there are inessential things. sent6: there is nothing such that it does not integrate coccus and/or does not mop. sent7: if the suburbanite is a denigration then it is unwoven. sent8: if the suburbanite is unwoven and it is impractical it does not integrate coccus. sent9: if the suburbanite is a kind of a inessential then it is a denigration. sent10: the suburbanite is impractical. sent11: the coccus is estimable if there exists something such that it is not a inessential. ; $proof$ = 
void -> assump1: Let's assume that the fact that the suburbanite is a inessential is correct.; sent9 & assump1 -> int1: the suburbanite is a denigration.; int1 & sent7 -> int2: the suburbanite is unwoven.; int2 & sent10 -> int3: the suburbanite is unwoven and is impractical.; int3 & sent8 -> int4: the suburbanite does not integrate coccus.; int4 -> int5: the suburbanite does not integrate coccus and/or it does not mop.; sent6 -> int6: the fact that the suburbanite does not integrate coccus and/or it does not mop is not true.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the suburbanite is not inessential.; int8 -> int9: there exists something such that it is not a kind of a inessential.; __UNKNOWN__