that the ringleader is both not polite and a curiosity is not right if the fact that the ropemaker is viceregal hold.
sent1: if the Pyxis is not a juice that the ropemaker is both a bass and viceregal is not incorrect. sent2: if the ropemaker is viceregal the fact that the ringleader is a kind of polite thing that is a curiosity does not hold. sent3: the fact that the ringleader is polite and it is a curiosity is incorrect if the Pyxis is not polite. sent4: the ropemaker is a bass. sent5: if the fact that something is a Dacelo is right then it is not polite. sent6: if the Pyxis is not a juice then the ropemaker is both a bass and not viceregal. sent7: something that is a juice or is a Dacelo or both is not polite.
void -> assump2: Let's assume that the fact that the Pyxis is not a juice hold.; sent6 & assump2 -> int1: the ropemaker is a kind of a bass but it is not viceregal.; int1 -> int2: the ropemaker is not viceregal.; void -> assump1: Let's assume that the ropemaker is viceregal.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Pyxis is a juice.; int4 -> int5: the Pyxis is a juice or is a kind of a Dacelo or both.; sent7 -> int6: if the Pyxis is a kind of a juice and/or is a Dacelo then it is not polite.; int5 & int6 -> int7: the Pyxis is not polite.;
$hypothesis$ = that the ringleader is both not polite and a curiosity is not right if the fact that the ropemaker is viceregal hold. ; $context$ = sent1: if the Pyxis is not a juice that the ropemaker is both a bass and viceregal is not incorrect. sent2: if the ropemaker is viceregal the fact that the ringleader is a kind of polite thing that is a curiosity does not hold. sent3: the fact that the ringleader is polite and it is a curiosity is incorrect if the Pyxis is not polite. sent4: the ropemaker is a bass. sent5: if the fact that something is a Dacelo is right then it is not polite. sent6: if the Pyxis is not a juice then the ropemaker is both a bass and not viceregal. sent7: something that is a juice or is a Dacelo or both is not polite. ; $proof$ = 
void -> assump2: Let's assume that the fact that the Pyxis is not a juice hold.; sent6 & assump2 -> int1: the ropemaker is a kind of a bass but it is not viceregal.; int1 -> int2: the ropemaker is not viceregal.; void -> assump1: Let's assume that the ropemaker is viceregal.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Pyxis is a juice.; int4 -> int5: the Pyxis is a juice or is a kind of a Dacelo or both.; sent7 -> int6: if the Pyxis is a kind of a juice and/or is a Dacelo then it is not polite.; int5 & int6 -> int7: the Pyxis is not polite.; __UNKNOWN__