the dyspeptic is not a kind of a plasticizer.
sent1: something is a ADD and it is a high-muck-a-muck. sent2: the fact that the mascarpone is tectonic is true. sent3: the mascarpone does realign Ptilocercus and is a sunglasses. sent4: something is a plasticizer. sent5: if the mascarpone is not a Seljuk it is a ptarmigan and it is a ADD. sent6: the dyspeptic is a sunglasses. sent7: if there exists something such that it is Seljuk thing that is a high-muck-a-muck the dyspeptic is not a plasticizer. sent8: if something realigns Ptilocercus and it is a sunglasses it is not a kind of a ptarmigan. sent9: there is something such that the fact that it is a high-muck-a-muck is not incorrect.
void -> assump1: Let's assume that the mascarpone is not a Seljuk.; sent5 & assump1 -> int1: the mascarpone is both a ptarmigan and a ADD.; int1 -> int2: the mascarpone is a ptarmigan.; sent8 -> int3: that the mascarpone is not a ptarmigan hold if it does realign Ptilocercus and is a sunglasses.; int3 & sent3 -> int4: that the mascarpone is not a kind of a ptarmigan hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mascarpone is a kind of a Seljuk.;
$hypothesis$ = the dyspeptic is not a kind of a plasticizer. ; $context$ = sent1: something is a ADD and it is a high-muck-a-muck. sent2: the fact that the mascarpone is tectonic is true. sent3: the mascarpone does realign Ptilocercus and is a sunglasses. sent4: something is a plasticizer. sent5: if the mascarpone is not a Seljuk it is a ptarmigan and it is a ADD. sent6: the dyspeptic is a sunglasses. sent7: if there exists something such that it is Seljuk thing that is a high-muck-a-muck the dyspeptic is not a plasticizer. sent8: if something realigns Ptilocercus and it is a sunglasses it is not a kind of a ptarmigan. sent9: there is something such that the fact that it is a high-muck-a-muck is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the mascarpone is not a Seljuk.; sent5 & assump1 -> int1: the mascarpone is both a ptarmigan and a ADD.; int1 -> int2: the mascarpone is a ptarmigan.; sent8 -> int3: that the mascarpone is not a ptarmigan hold if it does realign Ptilocercus and is a sunglasses.; int3 & sent3 -> int4: that the mascarpone is not a kind of a ptarmigan hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mascarpone is a kind of a Seljuk.; __UNKNOWN__