if the play occurs then the disclaimer occurs.
sent1: if the corvee does not occur the disclaimer happens. sent2: the fact that the ethnocentricness but not the fissionableness occurs is not right if that the overproduction occurs is correct. sent3: the fissionableness does not occur. sent4: that the playing does not occur and the fissionableness occurs triggers that the horseplay does not occur. sent5: the overproduction happens. sent6: the disclaimer does not occur.
void -> assump2: Let's assume that the ethnocentricness happens.; assump2 & sent3 -> int1: the ethnocentricness occurs and the fissionableness does not occur.; sent2 & sent5 -> int2: that the ethnocentricness occurs but the fissionableness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the ethnocentricness does not occur.; void -> assump1: Let's assume that the playing happens.; int4 & assump1 -> int5: both the play and the non-ethnocentricness occurs.;
the blaxploitation happens but the horseplay does not occur.
$hypothesis$ = if the play occurs then the disclaimer occurs. ; $context$ = sent1: if the corvee does not occur the disclaimer happens. sent2: the fact that the ethnocentricness but not the fissionableness occurs is not right if that the overproduction occurs is correct. sent3: the fissionableness does not occur. sent4: that the playing does not occur and the fissionableness occurs triggers that the horseplay does not occur. sent5: the overproduction happens. sent6: the disclaimer does not occur. ; $proof$ = 
void -> assump2: Let's assume that the ethnocentricness happens.; assump2 & sent3 -> int1: the ethnocentricness occurs and the fissionableness does not occur.; sent2 & sent5 -> int2: that the ethnocentricness occurs but the fissionableness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the ethnocentricness does not occur.; void -> assump1: Let's assume that the playing happens.; int4 & assump1 -> int5: both the play and the non-ethnocentricness occurs.; __UNKNOWN__