that the nullification happens is not false.
sent1: the fact that the barring segregation happens is true. sent2: the cancroidness occurs. sent3: that the commensalness does not occur triggers that the prostheticness occurs. sent4: the uncharacteristicness does not occur. sent5: the prostheticness happens. sent6: the nonwashableness happens if the commensal happens. sent7: that both the washableness and the commensal occurs prevents that the nullification occurs. sent8: if the fact that the commensalness does not occur is not wrong then both the prostheticness and the nullification happens. sent9: the prostheticness occurs if that the non-blackbirdness and the easing happens is false. sent10: if the beading prevision does not occur the fact that the blackbird does not occur and the ease occurs is not right. sent11: that the bisection does not occur is prevented by that both the non-commensalness and the washableness occurs. sent12: the wiggle happens if the hemolyticness occurs. sent13: if the hatlessness does not occur the coaching occurs.
void -> assump1: Let's assume that the commensalness happens.; sent6 & assump1 -> int1: the nonwashableness happens.;
the nullification does not occur.
$hypothesis$ = that the nullification happens is not false. ; $context$ = sent1: the fact that the barring segregation happens is true. sent2: the cancroidness occurs. sent3: that the commensalness does not occur triggers that the prostheticness occurs. sent4: the uncharacteristicness does not occur. sent5: the prostheticness happens. sent6: the nonwashableness happens if the commensal happens. sent7: that both the washableness and the commensal occurs prevents that the nullification occurs. sent8: if the fact that the commensalness does not occur is not wrong then both the prostheticness and the nullification happens. sent9: the prostheticness occurs if that the non-blackbirdness and the easing happens is false. sent10: if the beading prevision does not occur the fact that the blackbird does not occur and the ease occurs is not right. sent11: that the bisection does not occur is prevented by that both the non-commensalness and the washableness occurs. sent12: the wiggle happens if the hemolyticness occurs. sent13: if the hatlessness does not occur the coaching occurs. ; $proof$ = 
void -> assump1: Let's assume that the commensalness happens.; sent6 & assump1 -> int1: the nonwashableness happens.; __UNKNOWN__