that the muscadine is a kind of a Marxist that does mean diode is not right.
sent1: the protoctist is not regretful if the fact that it is not osseous but a germ is wrong. sent2: something does not gong chinquapin. sent3: if something tortures protoctist then it is not a bootlace and it does not pole Vinson. sent4: the protoctist is a tutsan and is regretful. sent5: the terry does not pole Vinson. sent6: if the protoctist is a kind of a germ then the fact that the terry does torture protoctist hold. sent7: if the terry is not regretful the fact that it is not a kind of a bootlace and it is not a kind of a Shona is not true. sent8: if the terry is not a bootlace and does not pole Vinson the coroner is not tarsal. sent9: the muscadine is Marxist and it does mean diode if the protoctist does not torture protoctist. sent10: something is a Shona if the fact that it is not a kind of a bootlace and is not a Shona does not hold.
void -> assump1: Let's assume that the fact that the protoctist is non-osseous a germ is not correct.; sent1 & assump1 -> int1: the protoctist is not regretful.; sent4 -> int2: the protoctist is regretful.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the protoctist is not osseous but it is a germ.; int4 -> int5: the protoctist is a germ.; int5 & sent6 -> int6: the terry does torture protoctist.; sent3 -> int7: if the terry does torture protoctist then it is not a bootlace and it does not pole Vinson.; int6 & int7 -> int8: the terry is not a bootlace and does not pole Vinson.; int8 & sent8 -> int9: the coroner is not a tarsal.; int9 -> int10: there are non-tarsal things.;
the muscadine is a kind of a Marxist and means diode.
$hypothesis$ = that the muscadine is a kind of a Marxist that does mean diode is not right. ; $context$ = sent1: the protoctist is not regretful if the fact that it is not osseous but a germ is wrong. sent2: something does not gong chinquapin. sent3: if something tortures protoctist then it is not a bootlace and it does not pole Vinson. sent4: the protoctist is a tutsan and is regretful. sent5: the terry does not pole Vinson. sent6: if the protoctist is a kind of a germ then the fact that the terry does torture protoctist hold. sent7: if the terry is not regretful the fact that it is not a kind of a bootlace and it is not a kind of a Shona is not true. sent8: if the terry is not a bootlace and does not pole Vinson the coroner is not tarsal. sent9: the muscadine is Marxist and it does mean diode if the protoctist does not torture protoctist. sent10: something is a Shona if the fact that it is not a kind of a bootlace and is not a Shona does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the protoctist is non-osseous a germ is not correct.; sent1 & assump1 -> int1: the protoctist is not regretful.; sent4 -> int2: the protoctist is regretful.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the protoctist is not osseous but it is a germ.; int4 -> int5: the protoctist is a germ.; int5 & sent6 -> int6: the terry does torture protoctist.; sent3 -> int7: if the terry does torture protoctist then it is not a bootlace and it does not pole Vinson.; int6 & int7 -> int8: the terry is not a bootlace and does not pole Vinson.; int8 & sent8 -> int9: the coroner is not a tarsal.; int9 -> int10: there are non-tarsal things.; __UNKNOWN__