that the Slavonicness does not occur if the psychiatricness happens is not true.
sent1: if the fact that the wheeling macadam does not occur but the lumbarness happens is false the immunohistochemistry occurs. sent2: if the fact that the half does not occur or the outgeneraling valued does not occur or both does not hold the Slavonicness does not occur. sent3: the psychiatricness does not occur if the non-binocularsness and the redemptiveness occurs. sent4: if the binocularsness happens then the shoring bijou occurs. sent5: if the fact that the halfness does not occur or the outgeneraling valued does not occur or both does not hold then the Slavonicness happens. sent6: that the binocularsness does not occur is not wrong. sent7: if the shoring bijou happens the fact that the halfness does not occur and/or the outgeneraling valued does not occur does not hold. sent8: not the kindness but the billowing barley-sugar happens. sent9: if that the half occurs or the outgeneraling valued does not occur or both does not hold the Slavonicness does not occur. sent10: the halfness occurs. sent11: the billowing countermarch occurs. sent12: the halfness occurs if the shoring bijou happens. sent13: the fact that that both the binocularsness and the redemptiveness happens is not false is false. sent14: the psychiatricness does not occur if the binocularsness occurs and the redemptiveness occurs. sent15: if that the non-binocularsness and the redemptiveness happens is not correct then the shoring bijou occurs. sent16: if the psychiatricness occurs the Slavonicness occurs. sent17: the coccalness does not occur. sent18: the filling does not occur. sent19: the Slavonicness happens.
void -> assump1: Let's assume that the psychiatricness happens.; void -> assump2: Let's assume that both the non-binocularsness and the redemptiveness happens.; sent3 & assump2 -> int1: the psychiatricness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that not the binocularsness but the redemptiveness happens is incorrect.; sent15 & int3 -> int4: the shoring bijou happens.; sent7 & int4 -> int5: that the halfness does not occur and/or the outgeneraling valued does not occur is not correct.; sent2 & int5 -> int6: the Slavonicness does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the Slavonicness does not occur if the psychiatricness happens is not true. ; $context$ = sent1: if the fact that the wheeling macadam does not occur but the lumbarness happens is false the immunohistochemistry occurs. sent2: if the fact that the half does not occur or the outgeneraling valued does not occur or both does not hold the Slavonicness does not occur. sent3: the psychiatricness does not occur if the non-binocularsness and the redemptiveness occurs. sent4: if the binocularsness happens then the shoring bijou occurs. sent5: if the fact that the halfness does not occur or the outgeneraling valued does not occur or both does not hold then the Slavonicness happens. sent6: that the binocularsness does not occur is not wrong. sent7: if the shoring bijou happens the fact that the halfness does not occur and/or the outgeneraling valued does not occur does not hold. sent8: not the kindness but the billowing barley-sugar happens. sent9: if that the half occurs or the outgeneraling valued does not occur or both does not hold the Slavonicness does not occur. sent10: the halfness occurs. sent11: the billowing countermarch occurs. sent12: the halfness occurs if the shoring bijou happens. sent13: the fact that that both the binocularsness and the redemptiveness happens is not false is false. sent14: the psychiatricness does not occur if the binocularsness occurs and the redemptiveness occurs. sent15: if that the non-binocularsness and the redemptiveness happens is not correct then the shoring bijou occurs. sent16: if the psychiatricness occurs the Slavonicness occurs. sent17: the coccalness does not occur. sent18: the filling does not occur. sent19: the Slavonicness happens. ; $proof$ = 
void -> assump1: Let's assume that the psychiatricness happens.; void -> assump2: Let's assume that both the non-binocularsness and the redemptiveness happens.; sent3 & assump2 -> int1: the psychiatricness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that not the binocularsness but the redemptiveness happens is incorrect.; sent15 & int3 -> int4: the shoring bijou happens.; sent7 & int4 -> int5: that the halfness does not occur and/or the outgeneraling valued does not occur is not correct.; sent2 & int5 -> int6: the Slavonicness does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__