that the reddening affidavit prevents that the displacement does not occur does not hold.
sent1: that the reddening gentleness occurs hold. sent2: the fact that the orchiopexy occurs hold. sent3: if the windward occurs then the splenectomy happens. sent4: that the displacement does not occur is prevented by the approachableness. sent5: if the reddening affidavit occurs then the approachableness occurs.
void -> assump1: Let's assume that the fact that the reddening affidavit happens is not wrong.; sent5 & assump1 -> int1: the approachableness happens.; sent4 & int1 -> int2: the displacement happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the reddening affidavit prevents that the displacement does not occur does not hold. ; $context$ = sent1: that the reddening gentleness occurs hold. sent2: the fact that the orchiopexy occurs hold. sent3: if the windward occurs then the splenectomy happens. sent4: that the displacement does not occur is prevented by the approachableness. sent5: if the reddening affidavit occurs then the approachableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the reddening affidavit happens is not wrong.; sent5 & assump1 -> int1: the approachableness happens.; sent4 & int1 -> int2: the displacement happens.; [assump1] & int2 -> hypothesis; __DISPROVED__