the fact that if the AU does not bypass lowerclassman and it is not a kind of a ghost then the gean is not rectosigmoid is not incorrect.
sent1: the gean does not bypass lowerclassman if the AU is not rectosigmoid but it ghosts. sent2: that the AU bypasses lowerclassman but it does not ghost is not true. sent3: the AU does not bypass lowerclassman.
void -> assump1: Let's assume that the gean is rectosigmoid.;
$hypothesis$ = the fact that if the AU does not bypass lowerclassman and it is not a kind of a ghost then the gean is not rectosigmoid is not incorrect. ; $context$ = sent1: the gean does not bypass lowerclassman if the AU is not rectosigmoid but it ghosts. sent2: that the AU bypasses lowerclassman but it does not ghost is not true. sent3: the AU does not bypass lowerclassman. ; $proof$ = 
void -> assump1: Let's assume that the gean is rectosigmoid.; __UNKNOWN__