that the fact that the non-cellulosidness and the wearing butterscotch occurs does not hold is not wrong.
sent1: if the wearing Vanir happens then the fact that not the cellulosidness but the wearing butterscotch happens does not hold. sent2: that both the azoness and the drawing occurs is wrong. sent3: that the cellulosidness happens and the wearing butterscotch occurs does not hold if the wearing Vanir occurs. sent4: the wearing loupe happens. sent5: the racialness happens.
void -> assump1: Let's assume that that the racialness does not occur but the wearing loupe occurs hold.; assump1 -> int1: the racialness does not occur.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that both the non-racialness and the wearing loupe happens is not true.;
$hypothesis$ = that the fact that the non-cellulosidness and the wearing butterscotch occurs does not hold is not wrong. ; $context$ = sent1: if the wearing Vanir happens then the fact that not the cellulosidness but the wearing butterscotch happens does not hold. sent2: that both the azoness and the drawing occurs is wrong. sent3: that the cellulosidness happens and the wearing butterscotch occurs does not hold if the wearing Vanir occurs. sent4: the wearing loupe happens. sent5: the racialness happens. ; $proof$ = 
void -> assump1: Let's assume that that the racialness does not occur but the wearing loupe occurs hold.; assump1 -> int1: the racialness does not occur.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that both the non-racialness and the wearing loupe happens is not true.; __UNKNOWN__