the basidium is not a kind of an acidity and it does not reorient colophony.
sent1: that the colophony is not a cleats but it is moneyless is wrong if it does mooch merbromine. sent2: the sorbate is a kind of a skunk if the colophony is not a days. sent3: the colophony does outnumber sorbate and does not piddle. sent4: if there is something such that it is romantic thing that is a kind of a phytochemist then the basidium does not reorient colophony. sent5: the colophony does not reorient colophony if something that is a cleats is an acidity. sent6: something is not a farrier and outnumbers WV if it does not mooch merbromine. sent7: that the basidium is not an acidity but it is moneyless is not right. sent8: if the sorbate is not a kind of a days but it is a kind of a skunk then the colophony does not outnumber sorbate. sent9: the colophony is not a cleats but it is moneyless. sent10: there exists something such that it is a kind of romantic thing that is a phytochemist. sent11: the sorbate misprints and it is cloze. sent12: if something does not mooch merbromine and outnumbers sorbate then it is not a kind of a days.
void -> assump1: Let's assume that the colophony does mooch merbromine.; sent1 & assump1 -> int1: that the colophony is both not a cleats and moneyless is false.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the colophony does not mooch merbromine.; sent3 -> int4: the colophony outnumbers sorbate.; int3 & int4 -> int5: the colophony does not mooch merbromine but it outnumbers sorbate.; sent12 -> int6: the colophony is not a days if it does not mooch merbromine and it does outnumber sorbate.; int5 & int6 -> int7: the colophony is not a days.; int7 & sent2 -> int8: the sorbate is a skunk.; sent11 -> int9: the sorbate is a misprint.; int8 & int9 -> int10: the sorbate is a kind of a skunk and is a misprint.; sent10 & sent4 -> int11: the fact that the basidium does not reorient colophony hold.;
that the basidium is not an acidity and it does not reorient colophony does not hold.
$hypothesis$ = the basidium is not a kind of an acidity and it does not reorient colophony. ; $context$ = sent1: that the colophony is not a cleats but it is moneyless is wrong if it does mooch merbromine. sent2: the sorbate is a kind of a skunk if the colophony is not a days. sent3: the colophony does outnumber sorbate and does not piddle. sent4: if there is something such that it is romantic thing that is a kind of a phytochemist then the basidium does not reorient colophony. sent5: the colophony does not reorient colophony if something that is a cleats is an acidity. sent6: something is not a farrier and outnumbers WV if it does not mooch merbromine. sent7: that the basidium is not an acidity but it is moneyless is not right. sent8: if the sorbate is not a kind of a days but it is a kind of a skunk then the colophony does not outnumber sorbate. sent9: the colophony is not a cleats but it is moneyless. sent10: there exists something such that it is a kind of romantic thing that is a phytochemist. sent11: the sorbate misprints and it is cloze. sent12: if something does not mooch merbromine and outnumbers sorbate then it is not a kind of a days. ; $proof$ = 
void -> assump1: Let's assume that the colophony does mooch merbromine.; sent1 & assump1 -> int1: that the colophony is both not a cleats and moneyless is false.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the colophony does not mooch merbromine.; sent3 -> int4: the colophony outnumbers sorbate.; int3 & int4 -> int5: the colophony does not mooch merbromine but it outnumbers sorbate.; sent12 -> int6: the colophony is not a days if it does not mooch merbromine and it does outnumber sorbate.; int5 & int6 -> int7: the colophony is not a days.; int7 & sent2 -> int8: the sorbate is a skunk.; sent11 -> int9: the sorbate is a misprint.; int8 & int9 -> int10: the sorbate is a kind of a skunk and is a misprint.; sent10 & sent4 -> int11: the fact that the basidium does not reorient colophony hold.; __UNKNOWN__