if the orthodonticsness occurs then the fact that not the girding but the rearrangement happens is not right.
sent1: the dysphoricness results in that the faecalness does not occur. sent2: the girding does not occur and the rearrangement happens. sent3: if the fact that the unveiling peahen happens but the dysphoricness does not occur is wrong then the faecalness does not occur. sent4: the fact that not the girding but the rearrangement occurs does not hold if the unveiling peahen happens.
void -> assump1: Let's assume that the orthodonticsness happens.; void -> assump2: Let's assume that that the unveiling peahen but not the dysphoricness happens is not right.; sent3 & assump2 -> int1: the faecalness does not occur.;
$hypothesis$ = if the orthodonticsness occurs then the fact that not the girding but the rearrangement happens is not right. ; $context$ = sent1: the dysphoricness results in that the faecalness does not occur. sent2: the girding does not occur and the rearrangement happens. sent3: if the fact that the unveiling peahen happens but the dysphoricness does not occur is wrong then the faecalness does not occur. sent4: the fact that not the girding but the rearrangement occurs does not hold if the unveiling peahen happens. ; $proof$ = 
void -> assump1: Let's assume that the orthodonticsness happens.; void -> assump2: Let's assume that that the unveiling peahen but not the dysphoricness happens is not right.; sent3 & assump2 -> int1: the faecalness does not occur.; __UNKNOWN__