the fact that the bulgur is eukaryotic hold.
sent1: the fact that the mackerel is not a CFTR and it does not participate is incorrect if it is wary. sent2: if something is not a disquieting and crows why it is eukaryotic. sent3: the bulgur is wary. sent4: if the caregiver does crow NLRB then that it does not crow why and is a disquieting does not hold. sent5: if that the mackerel is a kind of wary thing that is not eukaryotic is not false then the bulgur is not eukaryotic. sent6: if that something does not crow why and is a disquieting does not hold then it is not a disquieting. sent7: if the bulgur is a disquieting and crows why it is eukaryotic. sent8: if something does not roll dropkick it is wary and it is not eukaryotic. sent9: if something does not crow why and it does not crow NLRB then it is not a disquieting. sent10: if something is not a disquieting then the fact that it does not roll dropkick and it is not wary is false. sent11: the bulgur is not a kind of a disquieting but it crows why if the mackerel is not wary. sent12: the eptatretus is not a disquieting. sent13: The dropkick rolls SEB. sent14: the SEB rolls dropkick. sent15: there exists something such that it does not roll Gomorrah and it is not congenial. sent16: if the mackerel does participate then the SEB does not roll dropkick. sent17: the SEB does not roll dropkick if that the mackerel is not a kind of a CFTR and it does not participate does not hold.
void -> assump1: Let's assume that that the mackerel is wary is correct.; sent1 & assump1 -> int1: that the mackerel is not a CFTR and does not participate is false.; int1 & sent17 -> int2: the SEB does not roll dropkick.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the mackerel is not wary hold.; int4 & sent11 -> int5: the bulgur is not a disquieting and does crow why.; sent2 -> int6: that if the bulgur is not the disquieting but it does crow why then the bulgur is eukaryotic is not false.; int5 & int6 -> hypothesis;
the fact that the bulgur is not eukaryotic is not false.
sent8 -> int7: the mackerel is both wary and not eukaryotic if it does not roll dropkick.; sent6 -> int8: if the fact that the caregiver does not crow why and is a disquieting is incorrect then it is not a kind of a disquieting.;
$hypothesis$ = the fact that the bulgur is eukaryotic hold. ; $context$ = sent1: the fact that the mackerel is not a CFTR and it does not participate is incorrect if it is wary. sent2: if something is not a disquieting and crows why it is eukaryotic. sent3: the bulgur is wary. sent4: if the caregiver does crow NLRB then that it does not crow why and is a disquieting does not hold. sent5: if that the mackerel is a kind of wary thing that is not eukaryotic is not false then the bulgur is not eukaryotic. sent6: if that something does not crow why and is a disquieting does not hold then it is not a disquieting. sent7: if the bulgur is a disquieting and crows why it is eukaryotic. sent8: if something does not roll dropkick it is wary and it is not eukaryotic. sent9: if something does not crow why and it does not crow NLRB then it is not a disquieting. sent10: if something is not a disquieting then the fact that it does not roll dropkick and it is not wary is false. sent11: the bulgur is not a kind of a disquieting but it crows why if the mackerel is not wary. sent12: the eptatretus is not a disquieting. sent13: The dropkick rolls SEB. sent14: the SEB rolls dropkick. sent15: there exists something such that it does not roll Gomorrah and it is not congenial. sent16: if the mackerel does participate then the SEB does not roll dropkick. sent17: the SEB does not roll dropkick if that the mackerel is not a kind of a CFTR and it does not participate does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the mackerel is wary is correct.; sent1 & assump1 -> int1: that the mackerel is not a CFTR and does not participate is false.; int1 & sent17 -> int2: the SEB does not roll dropkick.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the mackerel is not wary hold.; int4 & sent11 -> int5: the bulgur is not a disquieting and does crow why.; sent2 -> int6: that if the bulgur is not the disquieting but it does crow why then the bulgur is eukaryotic is not false.; int5 & int6 -> hypothesis; __PROVED__