the fronting tonguefish happens and the repining reintroduction happens.
sent1: if the confusing Arlington occurs the running happens. sent2: the australopithecineness does not occur. sent3: that the non-australopithecineness and the occurring happens does not hold if the lamplight does not occur. sent4: the fact that the confusing invalid happens and the rh-positiveness happens does not hold. sent5: that the occurring occurs hold. sent6: the confusing Arlington occurs if the fact that the no-trump does not occur is not correct. sent7: the rh-positiveness does not occur if that the fact that the confusing invalid occurs and the rh-positiveness happens is false is correct. sent8: if both the polytheisticness and the slanting happens the Benedictine does not occur. sent9: the repining chlorhexidine and the apocynaceousness occurs if the rh-positiveness does not occur. sent10: if the lamplight happens then the no-trump occurs. sent11: if that the fronting hydrate does not occur hold the fronting tonguefish occurs and the repining reintroduction happens.
void -> assump1: Let's assume that the lamplight does not occur.; sent3 & assump1 -> int1: that the non-australopithecineness and the occurring occurs is incorrect.; sent2 & sent5 -> int2: the fact that both the non-australopithecineness and the occurring occurs hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lamplight occurs.; int4 & sent10 -> int5: the no-trump happens.; int5 & sent6 -> int6: the confusing Arlington happens.; int6 & sent1 -> int7: the fact that the running happens is right.; sent7 & sent4 -> int8: the rh-positiveness does not occur.; sent9 & int8 -> int9: the repining chlorhexidine and the apocynaceousness occurs.; int9 -> int10: that the repining chlorhexidine occurs is true.; int7 & int10 -> int11: both the repining chlorhexidine and the running happens.;
that the fact that the fronting tonguefish happens and the repining reintroduction occurs is true is false.
 -> hypothesis;
$hypothesis$ = the fronting tonguefish happens and the repining reintroduction happens. ; $context$ = sent1: if the confusing Arlington occurs the running happens. sent2: the australopithecineness does not occur. sent3: that the non-australopithecineness and the occurring happens does not hold if the lamplight does not occur. sent4: the fact that the confusing invalid happens and the rh-positiveness happens does not hold. sent5: that the occurring occurs hold. sent6: the confusing Arlington occurs if the fact that the no-trump does not occur is not correct. sent7: the rh-positiveness does not occur if that the fact that the confusing invalid occurs and the rh-positiveness happens is false is correct. sent8: if both the polytheisticness and the slanting happens the Benedictine does not occur. sent9: the repining chlorhexidine and the apocynaceousness occurs if the rh-positiveness does not occur. sent10: if the lamplight happens then the no-trump occurs. sent11: if that the fronting hydrate does not occur hold the fronting tonguefish occurs and the repining reintroduction happens. ; $proof$ = 
void -> assump1: Let's assume that the lamplight does not occur.; sent3 & assump1 -> int1: that the non-australopithecineness and the occurring occurs is incorrect.; sent2 & sent5 -> int2: the fact that both the non-australopithecineness and the occurring occurs hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lamplight occurs.; int4 & sent10 -> int5: the no-trump happens.; int5 & sent6 -> int6: the confusing Arlington happens.; int6 & sent1 -> int7: the fact that the running happens is right.; sent7 & sent4 -> int8: the rh-positiveness does not occur.; sent9 & int8 -> int9: the repining chlorhexidine and the apocynaceousness occurs.; int9 -> int10: that the repining chlorhexidine occurs is true.; int7 & int10 -> int11: both the repining chlorhexidine and the running happens.; __UNKNOWN__